extern void mainboard_interrupt_handlers(int intXX, void *intXX_func);
#else
static inline void mainboard_interrupt_handlers(int intXX, void *intXX_func) { }
extern void mainboard_interrupt_handlers(int intXX, void *intXX_func);
#else
static inline void mainboard_interrupt_handlers(int intXX, void *intXX_func) { }