Index: kernel/arch/ia64/include/drivers/it.h
===================================================================
--- kernel/arch/ia64/include/drivers/it.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
+++ kernel/arch/ia64/include/drivers/it.h	(revision ec04b209000b3a97373f9e45740f860a49db9a9b)
@@ -45,5 +45,4 @@
 
 extern void it_init(void);
-extern void it_interrupt(void);
 
 #endif
