kern/irq.h

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