1、灵山:或许即四川峨边县南古灵关道

2、若水设关口,在牂牁划疆界,凿通灵关道,在孙源河架桥。