Lines Matching refs:u32Eflags
9492 uint32_t u32Eflags;
9515 u32Eflags = u64Val;
9520 rc = VMXReadVmcs32(VMX_VMCS_GUEST_RFLAGS, &u32Eflags);
9522 HMVMX_CHECK_BREAK(!(u32Eflags & 0xffc08028), VMX_IGS_RFLAGS_RESERVED); /* Bit 31:22, Bit 15, 5, 3 MBZ. */
9523 HMVMX_CHECK_BREAK((u32Eflags & X86_EFL_RA1_MASK), VMX_IGS_RFLAGS_RESERVED1); /* Bit 1 MB1. */
9530 HMVMX_CHECK_BREAK(!(u32Eflags & X86_EFL_VM), VMX_IGS_RFLAGS_VM_INVALID);
9539 HMVMX_CHECK_BREAK(u32Eflags & X86_EFL_IF, VMX_IGS_RFLAGS_IF_INVALID);
9638 if (!(u32Eflags & X86_EFL_VM))
9913 HMVMX_CHECK_BREAK( (u32Eflags & X86_EFL_IF)
9967 if ( (u32Eflags & X86_EFL_TF)
9973 if ( !(u32Eflags & X86_EFL_TF)