守、蜀汉亡国后，素服望西大哭三日。
交州后事.霍弋后降于魏，司马昭拜为南中都督，与巴东太守罗宪守备蜀地。霍弋兼任交州刺史，可以便宜选用官吏。霍弋后来遣兵救援吕兴，吕兴被其手下功曹杀害，霍弋表奏建宁爨谷为交趾太守，又率牙门将董元、毛炅、孟干、孟通、爨能、李松、王素等人出征，平定交趾、日南、九真三郡，封为列侯，进号崇赏。《资治通鑑》上说：霍弋自宁州（今云南）遗杨稷等人经略交、广二州，採取水、陆二路并进。交州平定后，霍弋令杨稷、毛炅等戌守交趾，并与他们起誓说：「如果贼兵围城不满百日而