Index: kernel/genarch/include/genarch/drivers/i8259/i8259.h
===================================================================
--- kernel/genarch/include/genarch/drivers/i8259/i8259.h	(revision 2a103b55952cff53f2a9d4868d024062b0d42b1e)
+++ kernel/genarch/include/genarch/drivers/i8259/i8259.h	(revision 4d32b16fd938c28a5c64a63ecae4066b192d867e)
@@ -41,21 +41,4 @@
 #include <stdbool.h>
 
-/* ICW1 bits */
-#define PIC_ICW1           (1 << 4)
-#define PIC_ICW1_NEEDICW4  (1 << 0)
-
-/* OCW3 bits */
-#define PIC_OCW3           (1 << 3)
-#define PIC_OCW3_READ_ISR  (3 << 0)
-
-/* OCW4 bits */
-#define PIC_OCW4           (0 << 3)
-#define PIC_OCW4_NSEOI     (1 << 5)
-
-#define PIC0_IRQ_COUNT      8
-#define PIC1_IRQ_COUNT      8
-
-#define PIC0_IRQ_PIC1       2
-
 typedef struct {
 	ioport8_t port1;