Searched refs:mipsNN_sdcache_wbinv_range_index (Results 1 – 2 of 2) sorted by relevance
51 void mipsNN_sdcache_wbinv_range_index(vaddr_t, vsize_t);
191 mipsNN_sdcache_wbinv_range_index(vaddr_t va, vsize_t size) in mipsNN_sdcache_wbinv_range_index() function