Symbol: hyp_alloc_pages