Symbol: alloc_pte_page