Searched refs:r10k_icache_sync_range_index (Results 1 – 3 of 3) sorted by relevance
74 void r10k_icache_sync_range_index(vaddr_t, vsize_t);
119 r10k_icache_sync_range_index(vaddr_t va, vsize_t size) in r10k_icache_sync_range_index() function
601 r10k_icache_sync_range_index; in mips_config_cache_prehistoric()