diff --git a/arch/x86/kernel/idt.c b/arch/x86/kernel/idt.c
index 9508ab3..11a44eb 100644
--- a/arch/x86/kernel/idt.c
+++ b/arch/x86/kernel/idt.c
@@ -74,8 +74,6 @@ void idt_set_gate(unsigned char num, size_t base, unsigned short sel,
 	configure_idt_entry(&idt[num], base, sel, flags);
 }
 
-extern void isrsyscall(void);
-
 /* Installs the IDT */
 void idt_install(void)
 {