高贵乡公正元二年八月蜀将姜维寇狄道九月姜维退还诏曰：朕以寡德不能式遏寇虐乃令蜀贼陆梁边陲洮西之战至取负败将士死亡计以千数或没命战场冤魂不反或牵掣虏手流离异域吾深痛愍为之悼心其令所在郡典农及安抚夷二护军各部大吏慰其门户无差赋役一年其力战死事者皆如旧科勿有所漏。