出处：按学科分类—文学 中华书局《三国演义大辞典》第493页（266字）
在河南偃师县首阳山南边蔡庄村附近。属汉魏洛阳故城东部。现该村北有三个小冢，东边有一个大冢，据考系司马懿及其子孙的陵墓。西晋定都洛阳52年，宣帝司马懿、景帝司马师、文帝司马昭及武帝司马炎、惠帝司马衷等人的陵墓均在洛阳。由于其陵墓“不封不树”，只有陵号，不记陵址，所以，虽有史书的记载，也难以确指具体位置。其后，由于晋臣荀岳和晋武帝贵人左棻的墓志出土，上有“陪附晋文帝陵道之右”和“葬峻阳陵西缴道内”等字，从而揭示出司马氏几代帝王陵墓的位置。不过，司马懿陵墓为其中哪一土冢，仍不能确认。