kern/irq.h

Go to the documentation of this file.
00001 
00037 #ifndef KERN_IRQ_H
00038 #define KERN_IRQ_H
00039 
00040 void irq_entry(int irq);
00041 void irq_register(int irq, void (*handler)(void));
00042 void irq_init(void);
00043 
00044 #endif // KERN_IRQ_H