tlb1               30 arch/microblaze/include/asm/setup.h 		unsigned int tlb1);
tlb1               96 arch/microblaze/kernel/setup.c 		unsigned int tlb1)
tlb1              133 arch/microblaze/kernel/setup.c 	kernel_tlb = tlb0 + tlb1;