diff options
-rw-r--r-- | firmware/kernel.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/firmware/kernel.c b/firmware/kernel.c index 25249c6148..803c224640 100644 --- a/firmware/kernel.c +++ b/firmware/kernel.c | |||
@@ -1271,7 +1271,7 @@ void semaphore_release(struct semaphore *s) | |||
1271 | #endif /* CONFIG_CORELOCK */ | 1271 | #endif /* CONFIG_CORELOCK */ |
1272 | 1272 | ||
1273 | /* there should be threads in this queue */ | 1273 | /* there should be threads in this queue */ |
1274 | KERNEL_ASSERT(s->queue.queue != NULL, "semaphore->wakeup"); | 1274 | KERNEL_ASSERT(s->queue != NULL, "semaphore->wakeup"); |
1275 | /* a thread was queued - wake it up */ | 1275 | /* a thread was queued - wake it up */ |
1276 | wakeup_thread_no_listlock(&s->queue); | 1276 | wakeup_thread_no_listlock(&s->queue); |
1277 | } | 1277 | } |
@@ -1379,7 +1379,7 @@ void event_set_state(struct event *e, unsigned int state) | |||
1379 | { | 1379 | { |
1380 | struct thread_entry *thread; | 1380 | struct thread_entry *thread; |
1381 | /* no thread should have ever blocked for unsignaled */ | 1381 | /* no thread should have ever blocked for unsignaled */ |
1382 | KERNEL_ASSERT(e->queues[STATE_NONSIGNALED].queue == NULL, | 1382 | KERNEL_ASSERT(e->queues[STATE_NONSIGNALED] == NULL, |
1383 | "set_event_state->queue[NS]:S"); | 1383 | "set_event_state->queue[NS]:S"); |
1384 | /* pass to next thread and keep unsignaled - "pulse" */ | 1384 | /* pass to next thread and keep unsignaled - "pulse" */ |
1385 | thread = wakeup_thread_no_listlock(&e->queues[STATE_SIGNALED]); | 1385 | thread = wakeup_thread_no_listlock(&e->queues[STATE_SIGNALED]); |
@@ -1397,7 +1397,7 @@ void event_set_state(struct event *e, unsigned int state) | |||
1397 | /* release all threads waiting for unsignaled */ | 1397 | /* release all threads waiting for unsignaled */ |
1398 | 1398 | ||
1399 | /* no thread should have ever blocked if automatic */ | 1399 | /* no thread should have ever blocked if automatic */ |
1400 | KERNEL_ASSERT(e->queues[STATE_NONSIGNALED].queue == NULL || | 1400 | KERNEL_ASSERT(e->queues[STATE_NONSIGNALED] == NULL || |
1401 | e->automatic == 0, "set_event_state->queue[NS]:NS"); | 1401 | e->automatic == 0, "set_event_state->queue[NS]:NS"); |
1402 | 1402 | ||
1403 | thread_queue_wake_no_listlock(&e->queues[STATE_NONSIGNALED]); | 1403 | thread_queue_wake_no_listlock(&e->queues[STATE_NONSIGNALED]); |