亦名葛山。即今四川梓潼县西北卧龙镇之卧龙山。《新唐书·地理志》： 梓潼县 “有亮山”。《舆地纪胜》 卷186隆庆府： 葛山 “旧名亮山。在梓潼县北二十五里”。