Index: arch/amd64/include/interrupt.h
===================================================================
--- arch/amd64/include/interrupt.h	(revision dabe6333033ab3fdefc2073afacfd46f2a7cb686)
+++ arch/amd64/include/interrupt.h	(revision 79aeb43b2661904ed9742c00f3fe2ad06de36ade)
@@ -89,4 +89,5 @@
 extern void (* eoi_function)(void);
 
+extern void print_info_errcode(int n, istate_t *istate);
 extern void null_interrupt(int n, istate_t *istate);
 extern void gp_fault(int n, istate_t *istate);