diff options
Diffstat (limited to 'core/riscv-rv32i/task.c')
| -rw-r--r-- | core/riscv-rv32i/task.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/core/riscv-rv32i/task.c b/core/riscv-rv32i/task.c index fe3117d5a7..01e2ace31e 100644 --- a/core/riscv-rv32i/task.c +++ b/core/riscv-rv32i/task.c @@ -611,7 +611,7 @@ void task_print_list(void) } } -static int command_task_info(int argc, char **argv) +static int command_task_info(int argc, const char **argv) { #ifdef CONFIG_TASK_PROFILING unsigned int total = 0; @@ -643,7 +643,7 @@ static int command_task_info(int argc, char **argv) } DECLARE_CONSOLE_COMMAND(taskinfo, command_task_info, NULL, "Print task info"); -static int command_task_ready(int argc, char **argv) +static int command_task_ready(int argc, const char **argv) { if (argc < 2) { ccprintf("tasks_ready: 0x%08x\n", (int)tasks_ready); |