Antiguamente, este cerro debió conocerse como Monte del Rey o Monte Real ("Mont Real"), del que deriva su nombre.