道扎营的防御工事。

严格来说，葭萌县并不属于汉中郡，而是广汉郡最东北角的一个县，也就属于刘焉的地盘。但谁让刘焉之前与张鲁联手做局时，双方实控区本就暧昧不明。

葭萌县全境几乎都是在马鸣阁道山谷里，穷得一比没什么人口耕地。关羽假装追击张鲁残部追到这儿，顺势占了，形成“刘备以葭萌关为界，刘焉以剑阁、白水关为界”对峙的默契。

刘焉军估计也就睁一只眼闭一只眼追认了这个既定事实。