cpu_dcache_wbinv_range
#define cpu_dcache_wbinv_range(a, s) arm64_dcache_wbinv_range((a), (s))
cpu_dcache_wbinv_range(void *addr, size_t size)
