Symbol: vtophysaddr