version 1.96.2.3, 2012/10/30 17:20:19 |
version 1.96.2.4, 2014/05/22 11:40:07 |
Line 112 const char kgdb_devname[] = KGDB_DEVNAME |
|
Line 112 const char kgdb_devname[] = KGDB_DEVNAME |
|
struct cpu_info cpu_info_store; |
struct cpu_info cpu_info_store; |
int cpu_arch; |
int cpu_arch; |
int cpu_product; |
int cpu_product; |
char cpu_model[120]; |
|
|
|
struct vm_map *phys_map; |
struct vm_map *phys_map; |
|
|
Line 274 sh_startup(void) |
|
Line 273 sh_startup(void) |
|
{ |
{ |
vaddr_t minaddr, maxaddr; |
vaddr_t minaddr, maxaddr; |
char pbuf[9]; |
char pbuf[9]; |
|
const char *model = cpu_getmodel(); |
|
|
printf("%s%s", copyright, version); |
printf("%s%s", copyright, version); |
if (*cpu_model != '\0') |
if (*model != '\0') |
printf("%s", cpu_model); |
printf("%s", model); |
#ifdef DEBUG |
#ifdef DEBUG |
printf("general exception handler:\t%d byte\n", |
printf("general exception handler:\t%d byte\n", |
sh_vector_generic_end - sh_vector_generic); |
sh_vector_generic_end - sh_vector_generic); |