朕以寡德，不能式遏寇虐，乃令蜀賊陸梁邊陲。洮西之戰，至取負敗，將士死亡，計以千數，或沒命戰場，冤魂不反，或牽制虜手，流離異域，吾深痛愍，為之悼心。其令所在郡典農及安撫夷二護軍各部大吏，慰恤其門戶，無差賦役一年。其力戰死事者，皆如舊科，勿有所漏。（《魏志·高貴鄉公紀》）
