《三国志》卷十七 《魏书》张乐于张徐传

……从征袁尚于柳城,卒与虏遇,辽劝太祖战,气甚奋,太祖壮之,自以所持麾授辽。遂击,大破之,斩单于蹋顿。^②[第518页]
文帝即王位,……诏郃与曹真讨安定卢水胡及东羌。[第526页]
……从征蹋顿,拜横野将军。……遂破超等,使晃与夏侯渊平隃麋、汧诸氐,与太祖会安定。太祖还邺,使晃与夏侯渊平鄜、夏阳余贼,斩梁兴,降三千余户。从征张鲁。别遣晃讨攻椟、仇夷诸山氐,皆降之。迁平寇将军。解将军张顺围。击贼陈福等三十余屯,皆破之。[第528页～529页]