187bd3cde6
- With this patch, DDEKit no longer uses IRQ number as interrupt ID
and more IRQ numbers can be used with it
- DDEKit IRQ code, will now check return values and panic on error
Change-Id: I9ef5ab1ee2262242204bdd8c0a60459a19ddcc1b
6 lines
138 B
C
6 lines
138 B
C
#ifndef DDEKIT_IRQ_MINIX_H
|
|
#define DDEKIT_IRQ_MINIX_H 1
|
|
void ddekit_init_irqs(void);
|
|
void _ddekit_interrupt_trigger(int irq_id);
|
|
#endif
|