| 334,17 → 334,6 |
|---|
| .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 = { |
| 468,7 → 457,6 |
|---|
| &sched_info, |
| &threads_info, |
| &tasks_info, |
| &physmem_info, |
| &tlb_info, |
| &version_info, |
| &zones_info, |
| 496,12 → 484,13 |
|---|
| /** Initialize and register commands. */ |
| void cmd_init(void) |
| { |
| unsigned int i; |
| 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); |
| } |
| } |
| |
| 820,18 → 809,6 |
|---|
| 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) |
| { |