diff options
Diffstat (limited to 'freebsd/sys/kern/kern_intr.c')
-rw-r--r-- | freebsd/sys/kern/kern_intr.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/freebsd/sys/kern/kern_intr.c b/freebsd/sys/kern/kern_intr.c index 169e1c75..e602cd83 100644 --- a/freebsd/sys/kern/kern_intr.c +++ b/freebsd/sys/kern/kern_intr.c @@ -947,7 +947,9 @@ intr_event_schedule_thread(struct intr_event *ie) RANDOM_INTERRUPT); } +#ifndef __rtems__ KASSERT(p != NULL, ("ithread %s has no process", ie->ie_name)); +#endif /* __rtems__ */ /* * Set it_need to tell the thread to keep running if it is already |