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