__invalidate_dcache_range_nomsr_irq 569 arch/microblaze/kernel/cpu/cache.c .dflr = __invalidate_dcache_range_nomsr_irq, __invalidate_dcache_range_nomsr_irq 571 arch/microblaze/kernel/cpu/cache.c .dinr = __invalidate_dcache_range_nomsr_irq,