diff options
-rw-r--r-- | firmware/kernel.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/firmware/kernel.c b/firmware/kernel.c index 4e629c5504..ee42574055 100644 --- a/firmware/kernel.c +++ b/firmware/kernel.c @@ -617,6 +617,9 @@ void queue_post(struct event_queue *q, long id, intptr_t data) wr = q->write++ & QUEUE_LENGTH_MASK; + KERNEL_ASSERT((q->write - q->read) <= QUEUE_LENGTH, + "queue_post ovf q=%08lX", (long)q); + q->events[wr].id = id; q->events[wr].data = data; @@ -643,6 +646,9 @@ intptr_t queue_send(struct event_queue *q, long id, intptr_t data) wr = q->write++ & QUEUE_LENGTH_MASK; + KERNEL_ASSERT((q->write - q->read) <= QUEUE_LENGTH, + "queue_send ovf q=%08lX", (long)q); + q->events[wr].id = id; q->events[wr].data = data; |