panic_if_irq_remap
extern void panic_if_irq_remap(const char *msg);
panic_if_irq_remap(FW_BUG "Timer not connected to IO-APIC");
panic_if_irq_remap("timer doesn't work through Interrupt-remapped IO-APIC");