1 /* SPDX-License-Identifier: GPL-2.0 */ 1 2 #ifdef __uClinux__ 3 #include <asm/cacheflush_no.h> 4 #else 5 #include <asm/cacheflush_mm.h> 6 #endif 7
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.