1 #ifdef __uClinux__
2 #include "cacheflush_no.h"
3 #else
4 #include "cacheflush_mm.h"
5 #endif
6