Searched refs:local_tx39_flush_data_cache_page (Results 1 – 1 of 1) sorted by relevance
217 static void local_tx39_flush_data_cache_page(void * addr) in local_tx39_flush_data_cache_page() function375 local_flush_data_cache_page = local_tx39_flush_data_cache_page; in tx39_cache_init()
Completed in 2 milliseconds