Index: kernel/generic/include/ipc/irq.h
===================================================================
--- kernel/generic/include/ipc/irq.h	(revision 2b017ba3f7b12c023121e41aca02b7d6bf2bdade)
+++ kernel/generic/include/ipc/irq.h	(revision 79f30e4f9ac9fbe8dece9d8d97a63496370dc290)
@@ -38,7 +38,4 @@
 /** Maximum length of IPC IRQ program */
 #define IRQ_MAX_PROG_SIZE 10
-
-#define VIRT_INR_KLOG		-2
-#define VIRT_INR_KBDRESTART	-3
 
 typedef enum {