池名。在 汉文帝 陵墓 灞陵 之上,故称。《文选·谢朓<休沐重还道中>诗》:“ 霸池 不可别, 伊川 难重违。” 李善 注:“ 潘岳 《关中记》曰:‘ 霸陵 , 文帝 陵也。上有池,有四出道以写水。’”