Searched refs:VMCS_INTR_VALID (Results 1 – 2 of 2) sorted by relevance
1151 CTASSERT(VMCS_INTR_VALID == VMCS_IDT_VEC_VALID);1162 if ((info & VMCS_INTR_VALID) != 0) { in vmx_stash_intinfo()1218 ASSERT0(vmcs_read(VMCS_ENTRY_INTR_INFO) & VMCS_INTR_VALID); in vmx_inject_nmi()1225 IDT_NMI | VMCS_INTR_T_NMI | VMCS_INTR_VALID); in vmx_inject_nmi()1263 if ((info & VMCS_INTR_VALID) != 0) { in vmx_inject_events()1319 VMCS_INTR_T_HWINTR | VMCS_INTR_VALID | vector); in vmx_inject_events()1381 ASSERT0(vmcs_read(VMCS_ENTRY_INTR_INFO) & VMCS_INTR_VALID); in vmx_inject_vlapic()1391 VMCS_INTR_T_HWINTR | VMCS_INTR_VALID | vector); in vmx_inject_vlapic()2373 if (!(intr_info & VMCS_INTR_VALID)) in vmx_exit_process()2375 KASSERT((intr_info & VMCS_INTR_VALID) != 0 && in vmx_exit_process()[all …]
341 #define VMCS_INTR_VALID (1U << 31) macro