virtio_block_callback(): prevent rescheduling

... since it can be called with interrupts disabled.
2013-07-16 23:49:40 +02:00 · 2013-07-16 23:49:40 +02:00 · e89d7992e5
commit e89d7992e5
parent 42eed3ba69
1 changed files with 1 additions and 1 deletions
--- a/src/add-ons/kernel/drivers/disk/virtual/virtio_block/virtio_block.cpp
+++ b/src/add-ons/kernel/drivers/disk/virtual/virtio_block/virtio_block.cpp
@ -164,7 +164,7 @@ virtio_block_callback(void* cookie)
 {
 	virtio_block_driver_info* info = (virtio_block_driver_info*)cookie;

-	release_sem(info->sem_cb);
+	release_sem_etc(info->sem_cb, 1, B_DO_NOT_RESCHEDULE);
 }