Symbol: __vm_vaddr_alloc_page