Index: kernel/arch/amd64/include/interrupt.h
===================================================================
--- kernel/arch/amd64/include/interrupt.h	(revision 304342e71a827f2aa2f3d2377ef7cc1d77e6c61a)
+++ kernel/arch/amd64/include/interrupt.h	(revision 9c9c6a9b643e174ec115da13d7e7545e5323bedc)
@@ -54,4 +54,5 @@
 #define IRQ_PIC_SPUR		7
 #define IRQ_MOUSE		12
+#define IRQ_DP8390		9
 
 /* this one must have four least significant bits set to ones */