馬均先生之巧，雖古公輸般、墨翟、王爾，近漢世張平子，不能過也。公輸般、墨翟皆見用於時，乃有益於世。平子雖為侍中，馬先生雖給事省中，俱不典工官，巧無益於世，用人不當其才，聞賢不試以事，良可恨也。
——引自晉傅玄《馬先生傳》
蜀建興六年夏，大將軍曹真令郭淮在箕穀擊敗趙雲、鄧芝的偏師疑兵，以張郃增援部隊開進隴右，對蜀軍形成夾擊之勢。蜀漢丞相諸葛亮為避免遭受夾擊，於是退兵。曹真軍至安定，三郡大戶楊條未隨蜀軍遷移漢中，便對其族眾道：“今大將軍親自來到，我等何不盡早出降。”遂自縛出降。曹真對其善加撫慰，即命為安定郡守。
於是魏軍陸續收複三郡，但見城中居民都已隨蜀兵入漢中，隻收複了三座空城也。曹真與張郃、郭淮商議道：“蜀軍此番全軍退回漢中，實力未受大損。我若還兵，其隨後必複出漢中。其目標即是奪取兩京，則諸葛亮必攻陳倉故道，此處非築城當道，並置以大將，則萬不可守也。”於是命將軍郝昭、王生守陳倉，修築城池。翌年春天，諸葛亮果然二出祁山攻打陳倉，郝昭早已有備而戰，諸葛亮不能攻克，同時蜀漢軍隊兵糧不足，致使諸葛亮無功而還。這是後話，先行表過，不提。
且說曹真安排陳倉防務已定，即還兵渭西大營，與司馬懿相見，共同班師長安，朝見魏主——原來明帝於曹真離京時便到長安，前來親自督戰。魏主曹睿聞二將凱歸，親迎出西門以外，受其獻捷，並嘉許道：“今日複得隴西諸郡，皆卿等之功也。”曹真因功被增加食邑，並前二千九百戶，仍令據守長安，轄製關中及河西諸路軍。留郭淮、張郃守陽平關以東，當住箕穀隘口，以防諸葛亮複出。詔命司馬懿回歸舊所，南下鎮守宛城，以防東吳來犯。於是大賞三軍，駕回洛陽。