Searched refs:alloc_vpage (Results 1 – 10 of 10) sorted by relevance
12 extern void *alloc_vpage(void);
72 void *alloc_vpage(void) in alloc_vpage() function109 p = alloc_vpage(); in vm_alloc_one_page()
89 shstk_virt = alloc_vpage(); in main()
205 vaddr = alloc_vpage(); in test_lam_sup()206 vaddr_mmio = alloc_vpage(); in test_lam_sup()
185 fault_addr = alloc_vpage(); in test_kernel_mode_int()
370 stack_va = alloc_vpage(); in main()
430 void *vpage = alloc_vpage(); in test_vmread_vmwrite_pf()
3311 vmcb->save.idtr.base = (u64)alloc_vpage(); in svm_shutdown_intercept_test()
3187 void *vpage = alloc_vpage(); in invvpid_test_pf()3252 vaddr = alloc_vpage(); in invvpid_test_lam()
86 void *vaddr = alloc_vpage(); in page_map_outside_real_space()