206 	printf("BAT registers:\n");  in print_bats()
208 	printf ("\tIBAT0L = 0x%08X ", mfspr (IBAT0L));  in print_bats()
209 	printf ("\tIBAT0U = 0x%08X\n", mfspr (IBAT0U));  in print_bats()
210 	printf ("\tDBAT0L = 0x%08X ", mfspr (DBAT0L));  in print_bats()
211 	printf ("\tDBAT0U = 0x%08X\n", mfspr (DBAT0U));  in print_bats()
212 	printf ("\tIBAT1L = 0x%08X ", mfspr (IBAT1L));  in print_bats()
213 	printf ("\tIBAT1U = 0x%08X\n", mfspr (IBAT1U));  in print_bats()
214 	printf ("\tDBAT1L = 0x%08X ", mfspr (DBAT1L));  in print_bats()
215 	printf ("\tDBAT1U = 0x%08X\n", mfspr (DBAT1U));  in print_bats()
216 	printf ("\tIBAT2L = 0x%08X ", mfspr (IBAT2L));  in print_bats()
217 	printf ("\tIBAT2U = 0x%08X\n", mfspr (IBAT2U));  in print_bats()
218 	printf ("\tDBAT2L = 0x%08X ", mfspr (DBAT2L));  in print_bats()
219 	printf ("\tDBAT2U = 0x%08X\n", mfspr (DBAT2U));  in print_bats()
220 	printf ("\tIBAT3L = 0x%08X ", mfspr (IBAT3L));  in print_bats()
221 	printf ("\tIBAT3U = 0x%08X\n", mfspr (IBAT3U));  in print_bats()
222 	printf ("\tDBAT3L = 0x%08X ", mfspr (DBAT3L));  in print_bats()
223 	printf ("\tDBAT3U = 0x%08X\n", mfspr (DBAT3U));  in print_bats()
226 	printf ("\tIBAT4L = 0x%08X ", mfspr (IBAT4L));  in print_bats()
227 	printf ("\tIBAT4U = 0x%08X\n", mfspr (IBAT4U));  in print_bats()
228 	printf ("\tDBAT4L = 0x%08X ", mfspr (DBAT4L));  in print_bats()
229 	printf ("\tDBAT4U = 0x%08X\n", mfspr (DBAT4U));  in print_bats()
230 	printf ("\tIBAT5L = 0x%08X ", mfspr (IBAT5L));  in print_bats()
231 	printf ("\tIBAT5U = 0x%08X\n", mfspr (IBAT5U));  in print_bats()
232 	printf ("\tDBAT5L = 0x%08X ", mfspr (DBAT5L));  in print_bats()
233 	printf ("\tDBAT5U = 0x%08X\n", mfspr (DBAT5U));  in print_bats()
234 	printf ("\tIBAT6L = 0x%08X ", mfspr (IBAT6L));  in print_bats()
235 	printf ("\tIBAT6U = 0x%08X\n", mfspr (IBAT6U));  in print_bats()
236 	printf ("\tDBAT6L = 0x%08X ", mfspr (DBAT6L));  in print_bats()
237 	printf ("\tDBAT6U = 0x%08X\n", mfspr (DBAT6U));  in print_bats()
238 	printf ("\tIBAT7L = 0x%08X ", mfspr (IBAT7L));  in print_bats()
239 	printf ("\tIBAT7U = 0x%08X\n", mfspr (IBAT7U));  in print_bats()
240 	printf ("\tDBAT7L = 0x%08X ", mfspr (DBAT7L));  in print_bats()
241 	printf ("\tDBAT7U = 0x%08X\n", mfspr (DBAT7U));  in print_bats()