Searched refs:r4k_icache_sync_range_index_generic (Results 1 – 2 of 2) sorted by relevance
75 r4k_icache_sync_range_index_generic(vaddr_t va, vsize_t size) in r4k_icache_sync_range_index_generic() function
311 void r4k_icache_sync_range_index_generic(vaddr_t, vsize_t);