IDT_GATES_COUNT
IDT_GATES_COUNT * sizeof(interrupt_descriptor) - 1,
static const uint32 kInterruptHandlerTableSize = IDT_GATES_COUNT;