diff options
| -rw-r--r-- | sys/kern/kern_intr.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/sys/kern/kern_intr.c b/sys/kern/kern_intr.c index 78ae6010..41be569 100644 --- a/sys/kern/kern_intr.c +++ b/sys/kern/kern_intr.c @@ -49,6 +49,7 @@ __FBSDID("$FreeBSD$"); #include <sys/sched.h> #include <sys/smp.h> #include <sys/sysctl.h> +#include <sys/syslog.h> #include <sys/unistd.h> #include <sys/vmmeter.h> #include <machine/atomic.h> @@ -1312,7 +1313,12 @@ intr_event_handle(struct intr_event *ie, struct trapframe *frame) /* Schedule the ithread if needed. */ if (thread) { error = intr_event_schedule_thread(ie); +#ifndef XEN KASSERT(error == 0, ("bad stray interrupt")); +#else + if (error != 0) + log(LOG_WARNING, "bad stray interrupt"); +#endif } critical_exit(); td->td_intr_nesting_level--; |
