l1_guest_code
vm = vm_create_with_one_vcpu(&vcpu, l1_guest_code);
vm = vm_create_with_one_vcpu(&vcpu, l1_guest_code);
vm = vm_create_with_one_vcpu(&vcpu, l1_guest_code);
vm = vm_create_with_one_vcpu(&vcpu, l1_guest_code);
vm = vm_create_with_one_vcpu(&vcpu, l1_guest_code);
vm = vm_create_with_one_vcpu(&vcpu, l1_guest_code);
vm = vm_create_with_one_vcpu(&vcpu, l1_guest_code);
vm = vm_create_with_one_vcpu(&vcpu, l1_guest_code);
vm = vm_create_with_one_vcpu(&vcpu, l1_guest_code);
vm = vm_create_with_one_vcpu(&vcpu, l1_guest_code);
vm = vm_create_with_one_vcpu(&vcpu, l1_guest_code);
if (guest_code == l1_guest_code) { \
gpat_test("Nested NPT enabled", l1_guest_code, npt_enabled = true);
gpat_test("Nested NPT disabled", l1_guest_code, npt_enabled = false);
vm = vm_create_with_one_vcpu(&vcpu, l1_guest_code);
vm = vm_create_with_one_vcpu(&vcpu, l1_guest_code);
vm = vm_create_with_one_vcpu(&vcpu, l1_guest_code);
vm = vm_create_with_one_vcpu(&vcpu, l1_guest_code);
vm = vm_create_with_one_vcpu(&vcpu, l1_guest_code);
vm = vm_create_with_one_vcpu(&vcpu, l1_guest_code);
l1_guest_code(vmx_pages);
l1_guest_code(vmx_pages);