Searched refs:system_flush_invalidate_dcache_range (Results 1 – 1 of 1) sorted by relevance
48 static void system_flush_invalidate_dcache_range(unsigned long start,199 system_flush_invalidate_dcache_range( in boot_secondary()603 static void system_flush_invalidate_dcache_range(unsigned long start, in system_flush_invalidate_dcache_range() function
