司马懿的墓在“高原陵”，即今天河南偃师境 高原陵，位于今河南偃师县北邙首阳山西部。公元251年，司马懿葬于首阳山。据《晋书·宣帝本纪》载：“先是，预作终制，于首阳山为土藏……”由此可见，司马懿生前就在首阳山修造寿陵，他在临终时嘱咐家人，死后丧事从简，不起坟头，不立碑记，不设随葬品，不栽树木，不与遗孀合葬。 据考古发掘，曾在首阳山南面的南蔡庄附近，出土了荀岳墓志，称荀岳葬于
晋文帝司马昭陵道之右。
晋武帝司马炎的妃子左棻墓志，也在这一带出土，称左棻葬于“陵西檄道内”。由此可知，西晋皇陵，包括司马懿墓——高原陵，就在今日的偃师市南蔡庄一带。