#ifndef CPU_IRQ_H #define CPU_IRQ_H void c_irq_handler(void); #endif