__clean_dcache_area_pou   70 arch/arm64/include/asm/cacheflush.h extern void __clean_dcache_area_pou(void *addr, size_t len);
__clean_dcache_area_pou   22 arch/arm64/mm/flush.c 		__clean_dcache_area_pou(kaddr, len);