forked from ~ljy/RK3588_XEN

blame | history | raw
hc
2024-08-12 33276c6b0b8513a340de65b0ef99993023df46ca 
1
2
3
4
5
6

/* SPDX-License-Identifier: GPL-2.0 */


#ifdef __uClinux__


#include <asm/cacheflush_no.h>


#else


#include <asm/cacheflush_mm.h>


#endif