* @brief Initialize PID management structures * * @return int Always returns 0. */
| 77 | * @return int Always returns 0. |
| 78 | */ |
| 79 | int lwp_pid_init(void) |
| 80 | { |
| 81 | rt_wqueue_init(&_pid_emptyq); |
| 82 | rt_mutex_init(&pid_mtx, "pidmtx", RT_IPC_FLAG_PRIO); |
| 83 | return 0; |
| 84 | } |
| 85 | |
| 86 | /** |
| 87 | * @brief Wait for an empty PID slot to become available |
no test coverage detected