Searched refs:VMCS_INTR_VALID (Results 1 – 2 of 2) sorted by relevance
1158 CTASSERT(VMCS_INTR_VALID == VMCS_IDT_VEC_VALID);1169 if ((info & VMCS_INTR_VALID) != 0) { in vmx_stash_intinfo()1225 ASSERT0(vmcs_read(VMCS_ENTRY_INTR_INFO) & VMCS_INTR_VALID); in vmx_inject_nmi()1232 IDT_NMI | VMCS_INTR_T_NMI | VMCS_INTR_VALID); in vmx_inject_nmi()1270 if ((info & VMCS_INTR_VALID) != 0) { in vmx_inject_events()1326 VMCS_INTR_T_HWINTR | VMCS_INTR_VALID | vector); in vmx_inject_events()1388 ASSERT0(vmcs_read(VMCS_ENTRY_INTR_INFO) & VMCS_INTR_VALID); in vmx_inject_vlapic()1398 VMCS_INTR_T_HWINTR | VMCS_INTR_VALID | vector); in vmx_inject_vlapic()2380 if (!(intr_info & VMCS_INTR_VALID)) in vmx_exit_process()2382 KASSERT((intr_info & VMCS_INTR_VALID) != 0 && in vmx_exit_process()[all …]
329 #define VMCS_INTR_VALID (1U << 31) macro