Searched refs:VMCS_GUEST_RFLAGS (Results 1 – 1 of 1) sorted by relevance
500 #define VMCS_GUEST_RFLAGS 0x00006820 macro1110 rflags = vmx_vmread(VMCS_GUEST_RFLAGS); in vmx_vcpu_inject()1111 vmx_vmwrite(VMCS_GUEST_RFLAGS, rflags | PSL_RF); in vmx_vcpu_inject()1197 rflags = vmx_vmread(VMCS_GUEST_RFLAGS); in vmx_inkernel_advance()1198 vmx_vmwrite(VMCS_GUEST_RFLAGS, rflags & ~PSL_RF); in vmx_inkernel_advance()1570 rflags = vmx_vmread(VMCS_GUEST_RFLAGS); in vmx_exit_hlt()2451 exit->exitstate.rflags = vmx_vmread(VMCS_GUEST_RFLAGS); in vmx_vcpu_run()2624 vmx_vmwrite(VMCS_GUEST_RFLAGS, state->gprs[NVMM_X64_GPR_RFLAGS]); in vmx_vcpu_setstate()2789 state->gprs[NVMM_X64_GPR_RFLAGS] = vmx_vmread(VMCS_GUEST_RFLAGS); in vmx_vcpu_getstate()