Searched refs:mipsNN_sdcache_wbinv_range_index_64 (Results 1 – 3 of 3) sorted by relevance
85 void mipsNN_sdcache_wbinv_range_index_64(vm_offset_t, vm_size_t);
308 mipsNN_sdcache_wbinv_range_index_64; in mips_config_cache()
1188 mipsNN_sdcache_wbinv_range_index_64(vm_offset_t va, vm_size_t size) in mipsNN_sdcache_wbinv_range_index_64() function