高貴鄉公薨，內諠嘩。司馬文王問侍陳泰曰：“何以靜之”泰雲：“唯殺賈充以謝天下。”文王曰“可復下此不？”對：“但見其上，未見下。

　　高貴鄉公薨，內外諠。司馬文王問侍中陳泰曰“何以靜之？”泰雲：“殺賈充，以謝天下。”文曰：“可復下此不？”對：“但見其上，未見其下”