diff --git a/lib/libdriver/driver.c b/lib/libdriver/driver.c
index a6c3bfc8c..357bccc82 100644
--- a/lib/libdriver/driver.c
+++ b/lib/libdriver/driver.c
@@ -132,6 +132,7 @@ int r;
 
   case DEV_READ_S:
   case DEV_WRITE_S:
+  case DEV_IOCTL_S:
 	if (r == SUSPEND)
 		printf("driver_task: reviving %d with SUSPEND\n", proc_nr);