diff options
author | Andriy Gapon <avg@FreeBSD.org> | 2010-01-27 09:59:08 +0000 |
---|---|---|
committer | Andriy Gapon <avg@FreeBSD.org> | 2010-01-27 09:59:08 +0000 |
commit | 89fc20cc5ed63065b19cba3421f94e91fd3e8adc (patch) | |
tree | 23c9b673e414659271eb8872494a043a2ac05186 /sys/kern/kern_intr.c | |
parent | c1ae57c6bbfed45849e211cf32ce78a516fb8668 (diff) | |
download | src-89fc20cc5ed63065b19cba3421f94e91fd3e8adc.tar.gz src-89fc20cc5ed63065b19cba3421f94e91fd3e8adc.zip |
KASSERT that return value of interrupt filter complies with contract
For example a return value of zero could lead to a stuck level-triggered
interrupt line.
Reviewed by: jhb (for INTR_FILTER case)
MFC after: 3 weeks
Notes
Notes:
svn path=/head/; revision=203061
Diffstat (limited to 'sys/kern/kern_intr.c')
-rw-r--r-- | sys/kern/kern_intr.c | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/sys/kern/kern_intr.c b/sys/kern/kern_intr.c index 3554b9f4fbf6..105ea181cfac 100644 --- a/sys/kern/kern_intr.c +++ b/sys/kern/kern_intr.c @@ -1378,6 +1378,12 @@ intr_event_handle(struct intr_event *ie, struct trapframe *frame) ret = ih->ih_filter(frame); else ret = ih->ih_filter(ih->ih_argument); + KASSERT(ret == FILTER_STRAY || + ((ret & (FILTER_SCHEDULE_THREAD | FILTER_HANDLED)) != 0 && + (ret & ~(FILTER_SCHEDULE_THREAD | FILTER_HANDLED)) == 0), + ("%s: incorrect return value %#x from %s", __func__, ret, + ih->ih_name)); + /* * Wrapper handler special handling: * @@ -1546,7 +1552,11 @@ intr_filter_loop(struct intr_event *ie, struct trapframe *frame, thread_only = 1; continue; } - + KASSERT(ret == FILTER_STRAY || + ((ret & (FILTER_SCHEDULE_THREAD | FILTER_HANDLED)) != 0 && + (ret & ~(FILTER_SCHEDULE_THREAD | FILTER_HANDLED)) == 0), + ("%s: incorrect return value %#x from %s", __func__, ret, + ih->ih_name)); if (ret & FILTER_STRAY) continue; else { |