《[[太平寰宇记]]》记载 [[ 夷王墓 ]] 在[[彭州]] [[ 九陇县 ]] （今[[四川省]][[彭州市]][[天彭镇]]），《 [[ 寰宇记 ]] 》又说在 [[ 蒙阳县 ]] （今 [[ 四川省 ]][[ 彭州市]][[蒙阳镇 ]] ( [[ 彭州市]])| [[ 蒙阳镇]]）西北二十里.