Searched refs:INTR_TYPE_HW_EXC (Results 1 – 1 of 1) sorted by relevance
387 #define INTR_TYPE_HW_EXC 3 macro1113 type = INTR_TYPE_HW_EXC; in vmx_vcpu_inject()