据《三国志·霍峻传》载："霍峻字仲邈，南郡枝江人也……先主以峻为中郎将。先主自葭萌南还袭刘璋，留峻守葭萌城……后璋将扶禁、向存等帅万余人由阆水上，攻围峻，且一年，不能下。峻城中兵才数百人，伺其怠隙，选精锐出击，大破之，即斩存首。"
与小说的张郃与黄忠之间发生的战事相比，历史上的葭萌关之战更为凶险。守将霍峻仅有数百将士，而对手扶禁、向存的兵力却有一万多人。在双方实力相差悬殊的情况下，霍峻坚守葭萌关长达一年之久，不仅成功保住了关口，还重创对手，将其主帅向存斩杀。这一场虽然在汉末三国期间并不出名，但其意义却非常巨大，其难度甚至远超张辽与孙权之间爆发的合肥之战。霍峻堪称蜀汉第一守城名将。只可惜他在献帝建安二十二年（公元217年）病逝。否则以他的守城实力去协助关羽镇守公安或江陵，吕蒙绝对不可能偷袭成功。
参考书籍：《三国志》、《三国演义》
