__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,