Symbol: system_invalidate_dcache_range
arch/xtensa/kernel/smp.c
314
system_invalidate_dcache_range((unsigned long)&cpu_start_id,
arch/xtensa/kernel/smp.c
48
static void system_invalidate_dcache_range(unsigned long start,