Index: uspace/srv/devman/main.c
===================================================================
--- uspace/srv/devman/main.c	(revision 224c0e7cdf71623ced2dfae1613f0f4c6f94d45b)
+++ uspace/srv/devman/main.c	(revision fb4c877b5a2e89c57f7d1e3d731e386508596fbd)
@@ -326,4 +326,12 @@
 			}
 			
+			/* Verify that driver removed all functions */
+			fibril_rwlock_read_lock(&device_tree.rwlock);
+			if (!list_empty(&dev->functions)) {
+				fibril_rwlock_read_unlock(&device_tree.rwlock);
+				return EIO;
+			}
+			fibril_rwlock_read_unlock(&device_tree.rwlock);
+			
 			detach_driver(&device_tree, dev);