蜀漢延熙十六年秋的時候，將軍姜維帶著二十萬兵起兵了，讓廖化、張翼當左右先鋒，夏侯霸做參謀，張嶷當運糧使，大軍從陽平關出發去攻打魏國。姜維和夏侯霸商量說：“以前去取雍州，沒打下來就回來了；現在要是再出兵，魏國肯定又有防備了。您有什麼高見呢？”夏侯霸說：“隴上的各個郡裡，就數南安的錢糧最多了；要是先把南安拿下，就足夠當作我們的資本了。以前沒打下來就回來，是因為羌兵沒到。現在可以先派人去隴右和羌人會合，然後出兵從石營出發，經過董亭直接去取南安。”姜維特別高興地說：“您這主意真是太妙了！”於是就派□正當使者，帶著金銀珠寶和蜀錦到羌地去，和羌王交好。羌王迷當收到禮物後，就帶著五萬兵起兵了，讓羌將俄何燒戈當大先鋒，帶兵朝著南安來了。

魏國的左將軍郭淮聽到這個訊息，飛快地向洛陽上奏。司馬師問眾將：“誰敢去抵擋蜀兵呢？”輔國將軍徐質說：“我願意去。”司馬師一直知道徐質英勇過人，心裡特別高興，馬上就命令徐質當先鋒，讓司馬昭當大都督，領兵朝著隴西出發了。軍隊到了董亭，正好碰到姜維，兩邊就擺開陣勢。徐質揮舞著大斧，騎馬出來挑戰。蜀軍佇列裡廖化出來迎戰。沒打幾個回合，廖化就拖著刀敗退回陣。張翼騎著馬挺著槍又迎上去，也沒打幾個回合，又敗退回陣裡了。徐質帶兵追殺，蜀兵大敗，後退了三十多里。司馬昭也收兵回營，兩邊各自安營紮寨。

姜維和夏侯霸商量說：“徐質可太勇猛了，咱們得用什麼計策才能抓住他呢？”夏侯霸說：“明天咱們假裝失敗，用埋伏的計策打敗他。”姜維說：“司馬昭可是司馬懿的兒子，他能不懂兵法嗎？要是看到地勢有埋伏的樣子，肯定不會追的。我看魏兵好幾次截斷咱們的糧道，現在咱們用這個計策引誘他們，就可以把徐質給斬了。”於是就叫來廖化，吩咐他這樣這樣做，又把張翼叫來，也吩咐他這樣這樣做：兩個人就領兵去了。同時命令士兵在路上撒下鐵蒺藜，營寨外面多排些鹿角，做出要長期堅守的樣子。

徐質連著好幾天帶兵挑戰，蜀兵就是不出來。探子報告司馬昭說：“蜀兵在鐵籠山後面，用木牛流馬搬運糧草呢，看樣子是要打持久戰，就等著羌兵來接應了。”司馬昭叫來徐質說：“以前能戰勝蜀兵，就是因為截斷了他們的糧道。現在蜀兵在鐵籠山後面運糧，你今天夜裡帶著五千兵，去截斷他們的糧道，蜀兵自然就會退兵了。”徐質領了命令，初更的時候，帶兵朝著鐵籠山出發了，果然看到有兩百多個蜀兵，趕著一百多頭木牛流馬，裝著糧草在趕路。魏兵大喊一聲，徐質衝在前面攔住。蜀兵都扔下糧草就跑。徐質分了一半兵，押送糧草回營寨；自己帶著另一半兵追上去。追了不到十里地，前面有車輛橫在路上攔住去路。徐質命令士兵下馬去拆除車輛，突然兩邊就起火了。徐質急忙勒馬往回跑，後面山路狹窄的地方，也有車輛攔住路，火光沖天而起。徐質他們冒著煙、穿過火，催馬衝了出來。一聲炮響，兩路軍隊殺過來：左邊是廖化，右邊是張翼，一陣猛殺，魏兵大敗。

徐質拼死一個人逃跑，人也累了馬也乏了，正在跑的時候，前面有一支軍隊殺過來，原來是姜維。徐質驚慌失措，被姜維一槍刺中座下的馬，徐質從馬上跌下來，被眾軍亂刀砍死了。徐質分出去押送糧草的那一半兵，也被夏侯霸抓住了，那些魏兵全都投降了。夏侯霸讓蜀兵穿上魏兵的鎧甲，騎上魏兵的馬，打著魏軍的旗號，從小路朝著魏營寨跑去。魏軍看到是自己的部隊回來了，就開啟營門讓他們進去，蜀兵進了營寨就開始殺起來。司馬昭大吃一驚，慌忙上馬要跑的時候，前面廖化殺過來了。司馬昭沒法前進，急忙後退的時候，姜維帶兵從小路殺過來了。司馬昭四面都沒路可走了，只能帶兵上鐵籠山據守。原來這座山只有一條路，四周都險峻得很難上去；山上只有一處泉水，只夠一百個人喝的——這個時候司馬昭手下有六千人，被姜維截斷了路口，山上的泉水不夠喝，人和馬都渴得要命。司馬昭仰天長嘆說：“我就要死在這兒啦！”

主簿王韜說：“以前耿恭被困的時候，拜了拜井就得到了甘泉。將軍您為什麼不試試呢？”司馬昭聽了他的話，就上到山頂泉水邊，拜了兩拜祈禱說：“我司馬昭奉詔來擊退蜀兵，如果我該死，就讓這甘泉枯竭，我就自己抹脖子，讓手下的軍隊都投降；如果我的壽命還沒到，希望蒼天早點賜下甘泉，救救大家的命！”祈禱完了，泉水就湧出來了，怎麼取都取不完，所以人和馬都沒死。

姜維在山下困住了魏兵，對眾將說：“以前丞相在上方谷，沒抓住司馬懿，我一直