Release interrupt source if the interrupt task is already scheduled
authormikeb <mikeb@openbsd.org>
Sun, 21 Jan 2018 18:54:46 +0000 (18:54 +0000)
committermikeb <mikeb@openbsd.org>
Sun, 21 Jan 2018 18:54:46 +0000 (18:54 +0000)
commit220dd3171fb84cd6b72129219fd554ba70ce6079
tree60103c834a891a9e272d57406f5cbbb15195c907
parentb5e9546ad7611f7727aafc9202f9d04f592deddf
Release interrupt source if the interrupt task is already scheduled

Tested by Imre Oolberg, thanks!
sys/dev/pv/xen.c