sys/dev/nvmm/x86/nvmm_x86_vmx.c

1110

rflags = vmx_vmread(VMCS_GUEST_RFLAGS);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1111

vmx_vmwrite(VMCS_GUEST_RFLAGS, rflags | PSL_RF);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1197

rflags = vmx_vmread(VMCS_GUEST_RFLAGS);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1198

vmx_vmwrite(VMCS_GUEST_RFLAGS, rflags & ~PSL_RF);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1606

rflags = vmx_vmread(VMCS_GUEST_RFLAGS);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2560

exit->exitstate.rflags = vmx_vmread(VMCS_GUEST_RFLAGS);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2785

vmx_vmwrite(VMCS_GUEST_RFLAGS, state->gprs[NVMM_X64_GPR_RFLAGS]);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2941

state->gprs[NVMM_X64_GPR_RFLAGS] = vmx_vmread(VMCS_GUEST_RFLAGS);