魏の名将。陳倉では孔明の計略のことごとくを対抗して潰し、援軍到着までを守りぬいた。