diff --git a/src/kernel/core/arch/x86/arch_cpu.c b/src/kernel/core/arch/x86/arch_cpu.c
index 4baed17844..3e3290c8fe 100755
--- a/src/kernel/core/arch/x86/arch_cpu.c
+++ b/src/kernel/core/arch/x86/arch_cpu.c
@@ -264,3 +264,10 @@ arch_cpu_idle(void)
 	}
 }
 
+
+void
+arch_cpu_sync_icache(void *address, size_t length)
+{
+	// instruction cache is always consistent on x86
+}
+