Searched refs:r4k_icache_sync_range_generic (Results 1 – 2 of 2) sorted by relevance
67 r4k_icache_sync_range_generic(register_t va, vsize_t size) in r4k_icache_sync_range_generic() function
310 void r4k_icache_sync_range_generic(register_t, vsize_t);