Searched refs:mipsNN_pdcache_wbinv_range_index_128 (Results 1 – 3 of 3) sorted by relevance
69 void mipsNN_pdcache_wbinv_range_index_128(vm_offset_t, vm_size_t);
205 mipsNN_pdcache_wbinv_range_index_128; in mips_config_cache()
860 mipsNN_pdcache_wbinv_range_index_128(vm_offset_t va, vm_size_t size) in mipsNN_pdcache_wbinv_range_index_128() function1011 mipsNN_pdcache_wbinv_range_index_128(vm_offset_t va, vm_size_t size) in mipsNN_pdcache_wbinv_range_index_128() function