taglinefilesource code
init_IRQ73init/main.cextern void init_IRQ(void);
init_IRQ443init/main.cinit_IRQ();