256年、姜維の北伐に鎮西大将軍として参加した。