Symbol: VMCS_GUEST_IA32_RFLAGS
sys/arch/amd64/amd64/vmm_machdep.c
1046
if (vmread(VMCS_GUEST_IA32_RFLAGS, &gprs[VCPU_REGS_RFLAGS]))
sys/arch/amd64/amd64/vmm_machdep.c
1328
if (vmwrite(VMCS_GUEST_IA32_RFLAGS, gprs[VCPU_REGS_RFLAGS]))
sys/arch/amd64/amd64/vmm_machdep.c
3970
if (vmread(VMCS_GUEST_IA32_RFLAGS,
sys/arch/amd64/amd64/vmm_machdep.c
4166
if (vmread(VMCS_GUEST_IA32_RFLAGS, &rflags)) {
sys/arch/amd64/amd64/vmm_machdep.c
8047
vmx_dump_vmcs_field(VMCS_GUEST_IA32_RFLAGS, "G. RFLAGS");
sys/arch/amd64/amd64/vmm_machdep.c
8127
if (vmread(VMCS_GUEST_IA32_RFLAGS, &r))