Searched refs:tx3900_icache_sync_range_16 (Results 1 – 3 of 3) sorted by relevance
147 void tx3900_icache_sync_range_16(register_t, vsize_t);
70 tx3900_icache_sync_range_16(register_t va, vsize_t size) in tx3900_icache_sync_range_16() function
313 tx3900_icache_sync_range_16; in mips_config_cache_prehistoric()316 tx3900_icache_sync_range_16; in mips_config_cache_prehistoric()