* Now check in open()if the device is in the process to be detached,
  in that case fails with ENOENT.

 * Stop the worker threads only when the request queue is flushed

 * Before detaching a device, check under devtab_lock if the numer
   of users is 0

  Fixes defect #69