Searched refs:mipsNN_sdcache_wbinv_all_64 (Results 1 – 3 of 3) sorted by relevance
79 void mipsNN_sdcache_wbinv_all_64(void);
304 mipsNN_sdcache_wbinv_all_64; in mips_config_cache()
1109 mipsNN_sdcache_wbinv_all_64(void) in mipsNN_sdcache_wbinv_all_64() function