《魏世籍》

孙盛《魏世籍》曰：高平陵在洛水南大石山，去洛城九十里。