Lines Matching refs:alloc_page
369 struct vmcs *vmcs = alloc_page(); in test_vmwrite_vmread()
429 struct vmcs *vmcs = alloc_page(); in test_vmread_vmwrite_pf()
457 struct vmcs *vmcs = alloc_page(); in test_vmcs_high()
484 vmcs[i] = alloc_page(); in test_vmcs_lifecycle()
731 vmcs[i] = alloc_page(); in test_vmclear_flushing()
828 new_pt = alloc_page(); in split_large_ept_entry()
874 new_pt = alloc_page(); in install_ept_entry()
1236 *vmcs = alloc_page(); in init_vmcs()
1321 bsp_vmxon_region = alloc_page(); in alloc_bsp_vmx_pages()
1322 guest_stack_top = (uintptr_t)alloc_page() + PAGE_SIZE; in alloc_bsp_vmx_pages()
1323 guest_syscall_stack_top = (uintptr_t)alloc_page() + PAGE_SIZE; in alloc_bsp_vmx_pages()
1324 vmcs_root = alloc_page(); in alloc_bsp_vmx_pages()
1533 vmcs = alloc_page(); in test_vmptrld()
1565 vmcs1 = alloc_page(); in test_vmptrst()