flush cache

linux/arch/arm64/mm/cache.S

__flush_dcache_area(kaddr, size)