Symbol: alloc_pt_page