__nds32__isb       62 arch/nds32/include/asm/fpu.h 	__nds32__isb();
__nds32__isb       71 arch/nds32/include/asm/fpu.h 	__nds32__isb();
__nds32__isb       14 arch/nds32/include/asm/tlbflush.h 	__nds32__isb();
__nds32__isb       20 arch/nds32/include/asm/tlbflush.h 	__nds32__isb();
__nds32__isb       28 arch/nds32/include/asm/tlbflush.h 		__nds32__isb();
__nds32__isb      157 arch/nds32/kernel/setup.c 	__nds32__isb();
__nds32__isb       63 arch/nds32/mm/cacheflush.c 		__nds32__isb();
__nds32__isb       95 arch/nds32/mm/cacheflush.c 	__nds32__isb();
__nds32__isb      103 arch/nds32/mm/cacheflush.c 	__nds32__isb();
__nds32__isb      115 arch/nds32/mm/cacheflush.c 	__nds32__isb();
__nds32__isb       58 arch/nds32/mm/highmem.c 	__nds32__isb();
__nds32__isb       71 arch/nds32/mm/highmem.c 		__nds32__isb();
__nds32__isb      116 arch/nds32/mm/proc.c 	__nds32__isb();
__nds32__isb      189 arch/nds32/mm/proc.c 	__nds32__isb();
__nds32__isb      285 arch/nds32/mm/proc.c 	__nds32__isb();
__nds32__isb       21 arch/nds32/mm/tlb.c 		__nds32__isb();
__nds32__isb       31 arch/nds32/mm/tlb.c 		__nds32__isb();
__nds32__isb       47 arch/nds32/mm/tlb.c 	__nds32__isb();