230年、魏延と共に羌中に進出し、魏の後将軍費瑶を撃破して高陽郷侯に封じられた.
後将軍