arm67_cache_flush

155

.cf_dcache_wbinv_all = arm67_cache_flush,

156

.cf_dcache_wbinv_range = (void *)arm67_cache_flush,

157

.cf_dcache_inv_range = (void *)arm67_cache_flush,

164

.cf_idcache_wbinv_all = arm67_cache_flush,

165

.cf_idcache_wbinv_range = (void *)arm67_cache_flush,

221

.cf_dcache_wbinv_all = arm67_cache_flush,

222

.cf_dcache_wbinv_range = (void *)arm67_cache_flush,

223

.cf_dcache_inv_range = (void *)arm67_cache_flush,

230

.cf_idcache_wbinv_all = arm67_cache_flush,

231

.cf_idcache_wbinv_range = (void *)arm67_cache_flush,

59

void arm67_cache_flush (void);