9#define IDT_MAX_DESCRIPTORS 256
26extern void* isrStubTable[];
28extern void* irqStubTable[];
31void exceptionHandler(uint64_t vector, uint64_t errorCode);
33void irqHandler(uint64_t vector, uint64_t errorCode);
35void idtSetDescriptor(uint8_t vector,
void* isr, uint8_t flags);
Fixed-width integer types.