Index: kernel/arch/ia32/include/asm.h
===================================================================
--- kernel/arch/ia32/include/asm.h	(revision b80866028cf785c6288386b0a854ae9b684499fc)
+++ kernel/arch/ia32/include/asm.h	(revision 35599c9c8f4313e7914d28b529024ca81d21f03f)
@@ -429,4 +429,6 @@
 extern void asm_delay_loop(uint32_t);
 extern void asm_fake_loop(uint32_t);
+
+extern uintptr_t int_syscall;
 
 extern uintptr_t int_0;