Searched refs:GUEST_RFLAGS (Results 1 – 2 of 2) sorted by relevance
221 GUEST_RFLAGS = 0x00006820, enumerator
973 rflags = vmcs_readl(GUEST_RFLAGS); in vmx_get_rflags()988 vmcs_writel(GUEST_RFLAGS, rflags); in vmx_set_rflags()1697 flags = vmcs_readl(GUEST_RFLAGS); in enter_pmode()1700 vmcs_writel(GUEST_RFLAGS, flags); in enter_pmode()1788 flags = vmcs_readl(GUEST_RFLAGS); in enter_rmode()1793 vmcs_writel(GUEST_RFLAGS, flags); in enter_rmode()2811 vmcs_writel(GUEST_RFLAGS, 0x02); in vmx_vcpu_reset()2988 return (vmcs_readl(GUEST_RFLAGS) & X86_EFLAGS_IF) && in vmx_interrupt_allowed()