libc gets the address of the page by looking it up in an auxiliary vector table that belongs to the process.