Searched refs:tx3900_pdcache_inv_range_4 (Results 1 – 3 of 3) sorted by relevance
151 void tx3900_pdcache_inv_range_4(register_t, vsize_t);
120 tx3900_pdcache_inv_range_4(register_t va, vsize_t size) in tx3900_pdcache_inv_range_4() function
321 tx3900_pdcache_inv_range_4; in mips_config_cache_prehistoric()324 tx3900_pdcache_inv_range_4; in mips_config_cache_prehistoric()326 tx3900_pdcache_inv_range_4; in mips_config_cache_prehistoric()