# flush cache

linux/arch/arm64/mm/cache.S

`__flush_dcache_area(kaddr, size)`