Symbol: vm_vaddr_alloc_pages