71 void guest_code(struct vmx_pages *vmx_pages)  in guest_code()  argument
81 	enable_vp_assist(vmx_pages->vp_assist_gpa, vmx_pages->vp_assist);  in guest_code()
83 	GUEST_ASSERT(vmx_pages->vmcs_gpa);  in guest_code()
84 	GUEST_ASSERT(prepare_for_vmx_operation(vmx_pages));  in guest_code()
86 	GUEST_ASSERT(load_vmcs(vmx_pages));  in guest_code()
87 	GUEST_ASSERT(vmptrstz() == vmx_pages->enlightened_vmcs_gpa);  in guest_code()
90 	GUEST_ASSERT(vmptrstz() == vmx_pages->enlightened_vmcs_gpa);  in guest_code()
92 	prepare_vmcs(vmx_pages, l2_guest_code,  in guest_code()
96 	GUEST_ASSERT(vmptrstz() == vmx_pages->enlightened_vmcs_gpa);  in guest_code()
106 	GUEST_ASSERT(vmptrstz() == vmx_pages->enlightened_vmcs_gpa);  in guest_code()
123 	set_bit(MSR_FS_BASE & 0x1fff, vmx_pages->msr + 0x400);  in guest_code()
135 	set_bit(MSR_GS_BASE & 0x1fff, vmx_pages->msr + 0x400);  in guest_code()
154 	evmcs_vmptrld(0xdeadbeef, vmx_pages->enlightened_vmcs);  in guest_code()