taglinefilesource code
init_IRQ42init/main.cextern void init_IRQ(void);
init_IRQ352init/main.cinit_IRQ();