Index: kernel/arch/ia32/include/arch/drivers/i8259.h
===================================================================
--- kernel/arch/ia32/include/arch/drivers/i8259.h	(revision 5b0cf635022b821f28f7a014ad5b39d005cd7666)
+++ kernel/arch/ia32/include/arch/drivers/i8259.h	(revision 9658879a0072536fbfafe2b78ec3c57d348eb747)
@@ -44,6 +44,11 @@
 #define PIC_PIC1PORT2  ((ioport8_t *) 0xa1U)
 
-#define PIC_NEEDICW4  (1 << 0)
-#define PIC_ICW1      (1 << 4)
+/* ICW1 bits */
+#define PIC_ICW1           (1 << 4)
+#define PIC_ICW1_NEEDICW4  (1 << 0)
+
+/* OCW4 bits */
+#define PIC_OCW4           (0 << 3)
+#define PIC_OCW4_NSEOI     (1 << 5)
 
 extern void i8259_init(void);