__flush_dcache
__flush_dcache(0, cpuinfo.dcache_size);
__flush_dcache(start, end);
__flush_dcache(start, end);
__flush_dcache(start, end);
__flush_dcache(start, end);
__flush_dcache(start, end);
__flush_dcache(start, start + folio_size(folio));
__flush_dcache(vaddr, vaddr + PAGE_SIZE);
__flush_dcache((unsigned long)vto, (unsigned long)vto + PAGE_SIZE);
__flush_dcache(vaddr, vaddr + PAGE_SIZE);
__flush_dcache((unsigned long)addr, (unsigned long)addr + PAGE_SIZE);
__flush_dcache((unsigned long)src, (unsigned long)src + len);
__flush_dcache((unsigned long)dst, (unsigned long)dst + len);