县名。 秦代时原名芷阳县， 后因汉文帝陵墓筑于此， 故改名为“霸陵县”。 晋改称为“霸城”， 北周废。 故城在今陕西省西安市东。 亦作“灞陵县”。