14#define ISR_MAX_COUNT 32
15#define IRQ_MAX_COUNT 16
16#define IDT_ENTRY_COUNT 256
#define MOS_STATIC_ASSERT
@ EXCEPTION_SECURITY_EXCEPTION
@ EXCEPTION_INVALID_OPCODE
@ EXCEPTION_STACK_SEGMENT_FAULT
@ EXCEPTION_VIRTUALIZATION_EXCEPTION
@ EXCEPTION_DEVICE_NOT_AVAILABLE
@ EXCEPTION_MACHINE_CHECK
@ EXCEPTION_SEGMENT_NOT_PRESENT
@ EXCEPTION_VMM_COMMUNICATION_EXCEPTION
@ EXCEPTION_GENERAL_PROTECTION_FAULT
@ EXCEPTION_COPROCESSOR_SEGMENT_OVERRUN
@ EXCEPTION_ALIGNMENT_CHECK
@ EXCEPTION_HYPERVISOR_EXCEPTION
@ EXCEPTION_CONTROL_PROTECTION_EXCEPTION
@ EXCEPTION_BOUND_RANGE_EXCEEDED
void x86_interrupt_entry(ptr_t esp)
void x86_interrupt_return_impl(const platform_regs_t *regs)