#include "registers.h"
/* setup interrupt handlers for mainboard */
+#if defined(CONFIG_PCI_OPTION_ROM_RUN_REALMODE) && CONFIG_PCI_OPTION_ROM_RUN_REALMODE
extern void mainboard_interrupt_handlers(int intXX, void *intXX_func);
+#else
+static inline void mainboard_interrupt_handlers(int intXX, void *intXX_func) { }
+#endif