Searched refs:guest_state (Results 1 – 1 of 1) sorted by relevance
102 uint64_t guest_rflags, guest_state; in is_guest_irq_enabled() local111 guest_state = exec_vmread32(VMX_GUEST_INTERRUPTIBILITY_INFO); in is_guest_irq_enabled()113 if ((guest_state & (HV_ARCH_VCPU_BLOCKED_BY_STI | in is_guest_irq_enabled()123 uint64_t guest_state; in is_nmi_injectable() local125 guest_state = exec_vmread32(VMX_GUEST_INTERRUPTIBILITY_INFO); in is_nmi_injectable()127 return ((guest_state & (HV_ARCH_VCPU_BLOCKED_BY_STI | in is_nmi_injectable()
Completed in 4 milliseconds