Searched refs:mco_intern_sdcache_sync_range_index (Results 1 – 2 of 2) sorted by relevance
157 void (*mco_intern_sdcache_sync_range_index)(vaddr_t, vsize_t); member
151 .mco_intern_sdcache_sync_range_index = no_cache_op_range_index,