/trunk/kernel/generic/src/interrupt/interrupt.c |
---|
109,11 → 109,11 |
spinlock_lock(&exctbl_lock); |
if (sizeof(void *) == 4) { |
printf("Exc Description Handler Symbol\n"); |
printf("--- ------------ ---------- --------\n"); |
printf("Exc Description Handler Symbol\n"); |
printf("--- -------------- ---------- --------\n"); |
} else { |
printf("Exc Description Handler Symbol\n"); |
printf("--- ------------ ------------------ --------\n"); |
printf("Exc Description Handler Symbol\n"); |
printf("--- -------------- ------------------ --------\n"); |
} |
for (i = 0; i < IVT_ITEMS; i++) { |
122,10 → 122,10 |
symbol = "not found"; |
if (sizeof(void *) == 4) |
printf("%-3u %-12s %#10zx %s\n", i + IVT_FIRST, exc_table[i].name, |
printf("%-3u %-14s %#10zx %s\n", i + IVT_FIRST, exc_table[i].name, |
exc_table[i].f, symbol); |
else |
printf("%-3u %-12s %#18zx %s\n", i + IVT_FIRST, exc_table[i].name, |
printf("%-3u %-14s %#18zx %s\n", i + IVT_FIRST, exc_table[i].name, |
exc_table[i].f, symbol); |
if (((i + 1) % 20) == 0) { |
/trunk/kernel/generic/src/console/cmd.c |
---|
334,6 → 334,17 |
.argc = 0 |
}; |
/* Data and methods for 'physmem' command. */ |
static int cmd_physmem(cmd_arg_t *argv); |
cmd_info_t physmem_info = { |
.name = "physmem", |
.description = "Print physical memory configuration.", |
.help = NULL, |
.func = cmd_physmem, |
.argc = 0, |
.argv = NULL |
}; |
/* Data and methods for 'tlb' command. */ |
static int cmd_tlb(cmd_arg_t *argv); |
cmd_info_t tlb_info = { |
457,6 → 468,7 |
&sched_info, |
&threads_info, |
&tasks_info, |
&physmem_info, |
&tlb_info, |
&version_info, |
&zones_info, |
484,13 → 496,12 |
/** Initialize and register commands. */ |
void cmd_init(void) |
{ |
int i; |
unsigned int i; |
for (i=0;basic_commands[i]; i++) { |
for (i = 0; basic_commands[i]; i++) { |
cmd_initialize(basic_commands[i]); |
if (!cmd_register(basic_commands[i])) |
panic("could not register command %s\n", |
basic_commands[i]->name); |
panic("could not register command %s\n", basic_commands[i]->name); |
} |
} |
809,6 → 820,18 |
return 1; |
} |
/** Command for printing physical memory configuration. |
* |
* @param argv Not used. |
* |
* @return Always returns 1. |
*/ |
int cmd_physmem(cmd_arg_t *argv) |
{ |
physmem_print(); |
return 1; |
} |
/** Write 4 byte value to address */ |
int cmd_set4(cmd_arg_t *argv) |
{ |