D | kernel_service.c | 5 * SPDX-License-Identifier: Apache-2.0 59 int64_t minutes; in cmd_kernel_uptime() local 68 if (strcmp("-p", argv[1]) && strcmp("--pretty", argv[1]) != 0) { in cmd_kernel_uptime() 70 return -EIO; in cmd_kernel_uptime() 77 minutes = milliseconds / MINUTES_FACTOR; in cmd_kernel_uptime() 83 "uptime: %llu days, %llu hours, %llu minutes, %llu seconds, %llu milliseconds", in cmd_kernel_uptime() 84 days, hours, minutes, seconds, milliseconds); in cmd_kernel_uptime() 107 size_t size = thread->stack_info.size; in shell_tdata_dump() 119 shell_print(sh, "%s%p %-10s", in shell_tdata_dump() 124 shell_print(sh, "\toptions: 0x%x, priority: %d timeout: %" PRId64, in shell_tdata_dump() [all …]
|