no_cache_op_range_index
mco->mco_icache_sync_range_index = no_cache_op_range_index;
static void no_cache_op_range_index(vaddr_t va, vsize_t size);
.mco_intern_icache_sync_range_index = no_cache_op_range_index,
.mco_intern_pdcache_sync_range_index = no_cache_op_range_index,
.mco_intern_pdcache_wbinv_range_index = no_cache_op_range_index,
.mco_intern_sdcache_sync_range_index = no_cache_op_range_index,
.mco_intern_sdcache_wbinv_range_index = no_cache_op_range_index,
mco->mco_pdcache_wbinv_range_index = no_cache_op_range_index;
mco->mco_sdcache_wbinv_range_index = no_cache_op_range_index;
no_cache_op_range_index;
mco->mco_icache_sync_range_index = no_cache_op_range_index;
mco->mco_pdcache_wbinv_range_index = no_cache_op_range_index;