Symbol: INTR_TYPE_HW_EXC
src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c
1122
type = INTR_TYPE_HW_EXC;
src/libs/nvmm/driver/x86/nvmm_x86_vmx.c
1122
type = INTR_TYPE_HW_EXC;