1 #ifdef __uClinux__ 2 #include <asm/cacheflush_no.h> 3 #else 4 #include <asm/cacheflush_mm.h> 5 #endif 6