diff --git a/arch/x86/scc/icc.c b/arch/x86/scc/icc.c
index a946bd23..75bfdc78 100644
--- a/arch/x86/scc/icc.c
+++ b/arch/x86/scc/icc.c
@@ -82,7 +82,9 @@ static void intr_handler(struct state *s)
 	// reset appropriate bit in the core configuration register
 	int tmp, z;
 
+#ifdef CONFIG_LWIP
 	mmnif_irqhandler();
+#endif
 
 	z = Z_PID(RC_COREID[my_ue]);
 	tmp=ReadConfigReg(CRB_OWN + (z==0 ? GLCFG0 : GLCFG1));