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 8
