irq.c (321B)
1 #include <kernel.h> 2 #include <gic.h> 3 #include <irq.h> 4 5 int 6 irq_register(u32 irq_num, irq_callback_func func) 7 { 8 return gic_register(irq_num, func); 9 } 10 11 int 12 irq_trigger_sgi(u32 irq_num) 13 { 14 return gic_trigger_sgi(irq_num); 15 } 16 17 void 18 irq_handler(struct regs *regs) 19 { 20 gic_handler(regs); 21 } 22 23 void 24 irq_init(void) 25 { 26 gic_init(); 27 }