Rewrite interrupt handling in coreboot to be more comprehensible and
[coreboot.git] / src / include / pc80 / i8259.h
index 48e8df58d98b8f32a579bd35232654ae71efa04d..c55ae215578f648de20e82b92697718031902324 100644 (file)
@@ -22,4 +22,8 @@
 
 void setup_i8259(void);
 
+#define IRQ_LEVEL_TRIGGERED    1
+#define IRQ_EDGE_TRIGGERED     0
+void i8259_configure_irq_trigger(int int_num, int is_level_triggered);
+
 #endif /* PC80_I8259_H */