| 65 | ****************************************************************************/ |
| 66 | |
| 67 | void up_task_start(main_t taskentry, int argc, char *argv[]) |
| 68 | { |
| 69 | /* Let sys_call3() do all of the work */ |
| 70 | |
| 71 | sys_call3(SYS_task_start, (uintptr_t)taskentry, (uintptr_t)argc, |
| 72 | (uintptr_t)argv); |
| 73 | |
| 74 | PANIC(); |
| 75 | } |
| 76 | |
| 77 | #endif /* !CONFIG_BUILD_FLAT */ |
no test coverage detected