@ -183,3 +183,44 @@ int read_bat (ppc_bat_t bat, unsigned long *upper, unsigned long *lower)
return ( 0 ) ;
}
void print_bats ( void )
{
printf ( " BAT registers: \n " ) ;
printf ( " \t IBAT0L = 0x%08X " , mfspr ( IBAT0L ) ) ;
printf ( " \t IBAT0U = 0x%08X \n " , mfspr ( IBAT0U ) ) ;
printf ( " \t DBAT0L = 0x%08X " , mfspr ( DBAT0L ) ) ;
printf ( " \t DBAT0U = 0x%08X \n " , mfspr ( DBAT0U ) ) ;
printf ( " \t IBAT1L = 0x%08X " , mfspr ( IBAT1L ) ) ;
printf ( " \t IBAT1U = 0x%08X \n " , mfspr ( IBAT1U ) ) ;
printf ( " \t DBAT1L = 0x%08X " , mfspr ( DBAT1L ) ) ;
printf ( " \t DBAT1U = 0x%08X \n " , mfspr ( DBAT1U ) ) ;
printf ( " \t IBAT2L = 0x%08X " , mfspr ( IBAT2L ) ) ;
printf ( " \t IBAT2U = 0x%08X \n " , mfspr ( IBAT2U ) ) ;
printf ( " \t DBAT2L = 0x%08X " , mfspr ( DBAT2L ) ) ;
printf ( " \t DBAT2U = 0x%08X \n " , mfspr ( DBAT2U ) ) ;
printf ( " \t IBAT3L = 0x%08X " , mfspr ( IBAT3L ) ) ;
printf ( " \t IBAT3U = 0x%08X \n " , mfspr ( IBAT3U ) ) ;
printf ( " \t DBAT3L = 0x%08X " , mfspr ( DBAT3L ) ) ;
printf ( " \t DBAT3U = 0x%08X \n " , mfspr ( DBAT3U ) ) ;
# ifdef CONFIG_HIGH_BATS
printf ( " \t IBAT4L = 0x%08X " , mfspr ( IBAT4L ) ) ;
printf ( " \t IBAT4U = 0x%08X \n " , mfspr ( IBAT4U ) ) ;
printf ( " \t DBAT4L = 0x%08X " , mfspr ( DBAT4L ) ) ;
printf ( " \t DBAT4U = 0x%08X \n " , mfspr ( DBAT4U ) ) ;
printf ( " \t IBAT5L = 0x%08X " , mfspr ( IBAT5L ) ) ;
printf ( " \t IBAT5U = 0x%08X \n " , mfspr ( IBAT5U ) ) ;
printf ( " \t DBAT5L = 0x%08X " , mfspr ( DBAT5L ) ) ;
printf ( " \t DBAT5U = 0x%08X \n " , mfspr ( DBAT5U ) ) ;
printf ( " \t IBAT6L = 0x%08X " , mfspr ( IBAT6L ) ) ;
printf ( " \t IBAT6U = 0x%08X \n " , mfspr ( IBAT6U ) ) ;
printf ( " \t DBAT6L = 0x%08X " , mfspr ( DBAT6L ) ) ;
printf ( " \t DBAT6U = 0x%08X \n " , mfspr ( DBAT6U ) ) ;
printf ( " \t IBAT7L = 0x%08X " , mfspr ( IBAT7L ) ) ;
printf ( " \t IBAT7U = 0x%08X \n " , mfspr ( IBAT7U ) ) ;
printf ( " \t DBAT7L = 0x%08X " , mfspr ( DBAT7L ) ) ;
printf ( " \t DBAT7U = 0x%08X \n " , mfspr ( DBAT7U ) ) ;
# endif
}