From 595b333ad2b40d3bb23ef03374b14e4b8dcf49db Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Wed, 20 May 2015 13:49:05 +0200 Subject: Add INVARIANTS support --- freebsd/sys/kern/subr_taskqueue.c | 2 ++ 1 file changed, 2 insertions(+) (limited to 'freebsd/sys/kern/subr_taskqueue.c') diff --git a/freebsd/sys/kern/subr_taskqueue.c b/freebsd/sys/kern/subr_taskqueue.c index 259b152d..99640026 100644 --- a/freebsd/sys/kern/subr_taskqueue.c +++ b/freebsd/sys/kern/subr_taskqueue.c @@ -268,7 +268,9 @@ taskqueue_enqueue_timeout(struct taskqueue *queue, TQ_LOCK(queue); KASSERT(timeout_task->q == NULL || timeout_task->q == queue, ("Migrated queue")); +#ifndef __rtems__ KASSERT(!queue->tq_spin, ("Timeout for spin-queue")); +#endif /* __rtems__ */ timeout_task->q = queue; res = timeout_task->t.ta_pending; if (ticks == 0) { -- cgit v1.2.3