Symbol: DEBUG_IDT_SLOT_COUNT
src/system/boot/platform/bios_ia32/interrupts.cpp
141
if (frame.vector < DEBUG_IDT_SLOT_COUNT)
src/system/boot/platform/bios_ia32/interrupts.cpp
46
static const char *kInterruptNames[DEBUG_IDT_SLOT_COUNT] = {
src/system/boot/platform/bios_ia32/interrupts.cpp
87
static interrupt_descriptor sDebugIDT[DEBUG_IDT_SLOT_COUNT];
src/system/boot/platform/bios_ia32/interrupts.cpp
96
if (n >= DEBUG_IDT_SLOT_COUNT)