Lines Matching defs:vmx

15 #include "vmx.h"
56 void l1_guest_code(struct vmx_pages *vmx)
62 	GUEST_ASSERT(vmx->vmcs_gpa);
63 	GUEST_ASSERT(prepare_for_vmx_operation(vmx));
64 	GUEST_ASSERT(load_vmcs(vmx));
66 	if (vmx->eptp_gpa)
71 	prepare_vmcs(vmx, l2_rip, &l2_guest_stack[L2_GUEST_STACK_SIZE]);
83 	struct vmx_pages *vmx;
96 	vmx = vcpu_alloc_vmx(vm, &vmx_pages_gva);
123 		prepare_eptp(vmx, vm, 0);
124 		nested_map_memslot(vmx, vm, 0);
125 		nested_map(vmx, vm, NESTED_TEST_MEM1, GUEST_TEST_MEM, 4096);
126 		nested_map(vmx, vm, NESTED_TEST_MEM2, GUEST_TEST_MEM, 4096);