Searched refs:tx39_flush_kernel_vmap_range (Results 1 – 1 of 1) sorted by relevance
254 static void tx39_flush_kernel_vmap_range(unsigned long vaddr, int size) in tx39_flush_kernel_vmap_range() function398 __flush_kernel_vmap_range = tx39_flush_kernel_vmap_range; in tx39_cache_init()
