Symbol: INTR_INFO_TYPE
sys/dev/nvmm/x86/nvmm_x86_vmx.c
1130
__SHIFTIN(type, INTR_INFO_TYPE) |
sys/dev/nvmm/x86/nvmm_x86_vmx.c
1224
if (__SHIFTOUT(qual, INTR_INFO_TYPE) != INTR_TYPE_NMI) {
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2378
switch (__SHIFTOUT(info, INTR_INFO_TYPE)) {