百姓为之立庙于其处，刊石立碑，表述灵异也。婿水南历婿乡溪，出山东南流，迳通关势南。山高百馀丈，上有匈奴城，方五里，浚堑三重。高祖北定三秦，萧何守汉中，欲修北道，通关中，故名为通关势。婿水又东迳七女冢，冢夹水罗布如七星，高十馀丈，周回数亩。元嘉六年，大水，破坟，坟崩，出铜不成称计。

婿水东回南转，又迳其城东，而南入汉水，谓之三水口也。汉水又东会益口，水出北山益谷，东南流注于汉水。汉水又东至灙城南，与洛谷水合。水北出洛谷，谷北通长安。其水南流，右则灙水注之。水发西溪，东南流合为一水，乱流南出，际其城西，南注汉水。汉水又东迳小城固南，州治大城固，移县北，故曰小城固。城北百二十里，有兴势坂，诸葛亮出洛谷，戍兴势，置烽火楼，到处通照。