1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifdef __uClinux__
3 #include <asm/cacheflush_no.h>
4 #else
5 #include <asm/cacheflush_mm.h>
6 #endif
7