En mapas antiguos se llama al cerro "Berrueco de San Cristóbal".