tlb0               29 arch/microblaze/include/asm/setup.h 		unsigned int fdt, unsigned int msr, unsigned int tlb0,
tlb0               95 arch/microblaze/kernel/setup.c 		unsigned int fdt, unsigned int msr, unsigned int tlb0,
tlb0              133 arch/microblaze/kernel/setup.c 	kernel_tlb = tlb0 + tlb1;