Symbol: alloc_page_vma