Searched refs:system_invalidate_dcache_range (Results 1 – 1 of 1) sorted by relevance
48 static void system_invalidate_dcache_range(unsigned long start,314 system_invalidate_dcache_range((unsigned long)&cpu_start_id, in __cpu_die()613 static void system_invalidate_dcache_range(unsigned long start, in system_invalidate_dcache_range() function