Lines Matching defs:vmx
16 #include "vmx.h"
32 static void memstress_l1_guest_code(struct vmx_pages *vmx, uint64_t vcpu_id)
38 GUEST_ASSERT(vmx->vmcs_gpa);
39 GUEST_ASSERT(prepare_for_vmx_operation(vmx));
40 GUEST_ASSERT(load_vmcs(vmx));
45 prepare_vmcs(vmx, memstress_l2_guest_entry, rsp);
62 void memstress_setup_ept(struct vmx_pages *vmx, struct kvm_vm *vm)
66 prepare_eptp(vmx, vm, 0);
73 nested_identity_map_1g(vmx, vm, 0, 0x100000000ULL);
77 nested_identity_map_1g(vmx, vm, start, end - start);
82 struct vmx_pages *vmx, *vmx0 = NULL;
91 vmx = vcpu_alloc_vmx(vm, &vmx_gva);
94 memstress_setup_ept(vmx, vm);
95 vmx0 = vmx;
98 vmx->eptp = vmx0->eptp;
99 vmx->eptp_hva = vmx0->eptp_hva;
100 vmx->eptp_gpa = vmx0->eptp_gpa;