no_cache_op_range
mco->mco_icache_sync_range = no_cache_op_range;
mco->mco_pdcache_wbinv_range = no_cache_op_range;
mco->mco_pdcache_inv_range = no_cache_op_range;
mco->mco_pdcache_wb_range = no_cache_op_range;
static void no_cache_op_range(register_t va, vsize_t size);
.mco_intern_icache_sync_range = no_cache_op_range,
.mco_intern_pdcache_sync_range = no_cache_op_range,
.mco_intern_sdcache_sync_range = no_cache_op_range,
mco->mco_pdcache_wb_range = no_cache_op_range;
mco->mco_pdcache_wbinv_range = no_cache_op_range;
mco->mco_pdcache_inv_range = no_cache_op_range;
mco->mco_pdcache_wb_range = no_cache_op_range;
mco->mco_sdcache_wbinv_range = no_cache_op_range;
mco->mco_sdcache_inv_range = no_cache_op_range;
mco->mco_sdcache_wb_range = no_cache_op_range;
mco->mco_intern_pdcache_sync_range = no_cache_op_range;
mco->mco_sdcache_wb_range = no_cache_op_range;
mco->mco_icache_sync_range = no_cache_op_range;
mco->mco_pdcache_wbinv_range = no_cache_op_range;
mco->mco_pdcache_inv_range = no_cache_op_range;
mco->mco_pdcache_wb_range = no_cache_op_range;