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