Symbol: hyp_page_to_phys