gic.h (240B)
1 #ifndef __GIC_H 2 #define __GIC_H 3 4 #include <kernel.h> 5 #include <irq.h> 6 7 int gic_register(u32 irq_num, irq_callback_func func); 8 void gic_handler(struct regs *regs); 9 int gic_trigger_sgi(u32 irq_num); 10 void gic_init(void); 11 12 #endif /* __GIC_H */