@ -79,12 +79,24 @@ u32 get_sysboot_value(void)
}
# ifdef CONFIG_DISPLAY_CPUINFO
static char * cpu_revs [ ] = {
" 1.0 " ,
" 2.0 " ,
" 2.1 " } ;
static char * dev_types [ ] = {
" TST " ,
" EMU " ,
" HS " ,
" GP " } ;
/**
* Print CPU information
*/
int print_cpuinfo ( void )
{
char * cpu_s , * sec_s ;
char * cpu_s , * sec_s , * rev_s ;
switch ( get_cpu_type ( ) ) {
case AM335X :
@ -94,28 +106,21 @@ int print_cpuinfo(void)
cpu_s = " TI81XX " ;
break ;
default :
cpu_s = " Unknown cpu type " ;
cpu_s = " Unknown CPU type " ;
break ;
}
switch ( get_device_type ( ) ) {
case TST_DEVICE :
sec_s = " TST " ;
break ;
case EMU_DEVICE :
sec_s = " EMU " ;
break ;
case HS_DEVICE :
sec_s = " HS " ;
break ;
case GP_DEVICE :
sec_s = " GP " ;
break ;
default :
if ( get_cpu_rev ( ) < ARRAY_SIZE ( cpu_revs ) )
rev_s = cpu_revs [ get_cpu_rev ( ) ] ;
else
rev_s = " ? " ;
if ( get_device_type ( ) < ARRAY_SIZE ( dev_types ) )
sec_s = dev_types [ get_device_type ( ) ] ;
else
sec_s = " ? " ;
}
printf ( " %s-%s rev %d \n " , cpu_s , sec_s , get_cpu_rev ( ) ) ;
printf ( " %s-%s rev %s \n " , cpu_s , sec_s , rev_s ) ;
return 0 ;
}