HelenOS sources

PRINT_BAT         161 kernel/arch/ppc32/src/mm/tlb.c 	PRINT_BAT("ibat[0]", 528, 529);
PRINT_BAT         162 kernel/arch/ppc32/src/mm/tlb.c 	PRINT_BAT("ibat[1]", 530, 531);
PRINT_BAT         163 kernel/arch/ppc32/src/mm/tlb.c 	PRINT_BAT("ibat[2]", 532, 533);
PRINT_BAT         164 kernel/arch/ppc32/src/mm/tlb.c 	PRINT_BAT("ibat[3]", 534, 535);
PRINT_BAT         166 kernel/arch/ppc32/src/mm/tlb.c 	PRINT_BAT("dbat[0]", 536, 537);
PRINT_BAT         167 kernel/arch/ppc32/src/mm/tlb.c 	PRINT_BAT("dbat[1]", 538, 539);
PRINT_BAT         168 kernel/arch/ppc32/src/mm/tlb.c 	PRINT_BAT("dbat[2]", 540, 541);
PRINT_BAT         169 kernel/arch/ppc32/src/mm/tlb.c 	PRINT_BAT("dbat[3]", 542, 543);