77   LWIP_ASSERT("sem != NULL", sem != NULL);  in sys_sem_new()
85   LWIP_ASSERT("sem != NULL", sem != NULL);  in sys_sem_free()
92   LWIP_ASSERT("sem != NULL", sem != NULL);  in sys_sem_set_invalid()
101   LWIP_ASSERT("sem != NULL", sem != NULL);  in sys_arch_sem_wait()
102   LWIP_ASSERT("*sem > 0", *sem > 0);  in sys_arch_sem_wait()
108       LWIP_ASSERT("cannot wait without waiting callback", the_waiting_fn != NULL);  in sys_arch_sem_wait()
111         LWIP_ASSERT("*sem > 0", *sem > 0);  in sys_arch_sem_wait()
112         LWIP_ASSERT("expecting a semaphore count but it's 0", !expectSomething || (*sem > 1));  in sys_arch_sem_wait()
123         LWIP_ASSERT("expecting a semaphore count but it's 0", !expectSomething || (*sem > 1));  in sys_arch_sem_wait()
125       LWIP_ASSERT("*sem > 0", *sem > 0);  in sys_arch_sem_wait()
132   LWIP_ASSERT("*sem > 0", *sem > 0);  in sys_arch_sem_wait()
134   LWIP_ASSERT("*sem > 0", *sem > 0);  in sys_arch_sem_wait()
142   LWIP_ASSERT("sem != NULL", sem != NULL);  in sys_sem_signal()
143   LWIP_ASSERT("*sem > 0", *sem > 0);  in sys_sem_signal()
145   LWIP_ASSERT("*sem > 0", *sem > 0);  in sys_sem_signal()
151   LWIP_ASSERT("mutex != NULL", mutex != NULL);  in sys_mutex_new()
160   LWIP_ASSERT("mutex != NULL", mutex != NULL);  in sys_mutex_free()
161   LWIP_ASSERT("*mutex >= 1", *mutex >= 1);  in sys_mutex_free()
168   LWIP_ASSERT("mutex != NULL", mutex != NULL);  in sys_mutex_set_invalid()
176   LWIP_ASSERT("mutex != NULL", mutex != NULL);  in sys_mutex_lock()
178   LWIP_ASSERT("*mutex >= 1", *mutex == 1);  in sys_mutex_lock()
181   LWIP_ASSERT("*mutex >= 1", *mutex >= 1);  in sys_mutex_lock()
188   LWIP_ASSERT("mutex != NULL", mutex != NULL);  in sys_mutex_unlock()
189   LWIP_ASSERT("*mutex >= 1", *mutex >= 1);  in sys_mutex_unlock()
192   LWIP_ASSERT("*mutex >= 1", *mutex >= 1);  in sys_mutex_unlock()
212   LWIP_ASSERT("mbox != NULL", mbox != NULL);  in sys_mbox_new()
213   LWIP_ASSERT("size >= 0", size >= 0);  in sys_mbox_new()
231   LWIP_ASSERT("mbox != NULL", mbox != NULL);  in sys_mbox_free()
232   LWIP_ASSERT("mbox->sem != NULL", mbox->sem != NULL);  in sys_mbox_free()
233   LWIP_ASSERT("mbox->sem == mbox", mbox->sem == mbox);  in sys_mbox_free()
234   LWIP_ASSERT("mbox->q_mem != NULL", mbox->q_mem != NULL);  in sys_mbox_free()
243   LWIP_ASSERT("mbox != NULL", mbox != NULL);  in sys_mbox_set_invalid()
244   LWIP_ASSERT("mbox->q_mem == NULL", mbox->q_mem == NULL);  in sys_mbox_set_invalid()
252   LWIP_ASSERT("q != SYS_MBOX_NULL", q != SYS_MBOX_NULL);  in sys_mbox_post()
253   LWIP_ASSERT("q->sem == q", q->sem == q);  in sys_mbox_post()
254   LWIP_ASSERT("q->q_mem != NULL", q->q_mem != NULL);  in sys_mbox_post()
255   LWIP_ASSERT("q->used >= 0", q->used >= 0);  in sys_mbox_post()
256   LWIP_ASSERT("q->size > 0", q->size > 0);  in sys_mbox_post()
258   LWIP_ASSERT("mbox already full", q->used < q->size);  in sys_mbox_post()
265   LWIP_ASSERT("mbox is full!", q->head != q->tail);  in sys_mbox_post()
272   LWIP_ASSERT("q != SYS_MBOX_NULL", q != SYS_MBOX_NULL);  in sys_mbox_trypost()
273   LWIP_ASSERT("q->sem == q", q->sem == q);  in sys_mbox_trypost()
274   LWIP_ASSERT("q->q_mem != NULL", q->q_mem != NULL);  in sys_mbox_trypost()
275   LWIP_ASSERT("q->used >= 0", q->used >= 0);  in sys_mbox_trypost()
276   LWIP_ASSERT("q->size > 0", q->size > 0);  in sys_mbox_trypost()
277   LWIP_ASSERT("q->used <= q->size", q->used <= q->size);  in sys_mbox_trypost()
297   LWIP_ASSERT("q != SYS_MBOX_NULL", q != SYS_MBOX_NULL);  in sys_arch_mbox_fetch()
298   LWIP_ASSERT("q->sem == q", q->sem == q);  in sys_arch_mbox_fetch()
299   LWIP_ASSERT("q->q_mem != NULL", q->q_mem != NULL);  in sys_arch_mbox_fetch()
300   LWIP_ASSERT("q->used >= 0", q->used >= 0);  in sys_arch_mbox_fetch()
301   LWIP_ASSERT("q->size > 0", q->size > 0);  in sys_arch_mbox_fetch()
309       LWIP_ASSERT("cannot wait without waiting callback", the_waiting_fn != NULL);  in sys_arch_mbox_fetch()
312         LWIP_ASSERT("q->used >= 0", q->used >= 0);  in sys_arch_mbox_fetch()
313         LWIP_ASSERT("expecting item available but it's 0", !expectSomething || (q->used > 0));  in sys_arch_mbox_fetch()
324         LWIP_ASSERT("expecting item available count but it's 0", !expectSomething || (q->used > 0));  in sys_arch_mbox_fetch()
326       LWIP_ASSERT("q->used >= 0", q->used >= 0);  in sys_arch_mbox_fetch()
336   LWIP_ASSERT("q->used > 0", q->used > 0);  in sys_arch_mbox_fetch()
338   LWIP_ASSERT("got no message", ret2 == 0);  in sys_arch_mbox_fetch()
345   LWIP_ASSERT("q != SYS_MBOX_NULL", q != SYS_MBOX_NULL);  in sys_arch_mbox_tryfetch()
346   LWIP_ASSERT("q->sem == q", q->sem == q);  in sys_arch_mbox_tryfetch()
347   LWIP_ASSERT("q->q_mem != NULL", q->q_mem != NULL);  in sys_arch_mbox_tryfetch()
348   LWIP_ASSERT("q->used >= 0", q->used >= 0);  in sys_arch_mbox_tryfetch()
349   LWIP_ASSERT("q->size > 0", q->size > 0);  in sys_arch_mbox_tryfetch()
363   LWIP_ASSERT("q->used >= 0", q->used >= 0);  in sys_arch_mbox_tryfetch()