Doug Rabson 84bc104b8e Don't call DEVICE_DETACH directly, always go through the device_detach()
wrapper which checks to make sure the device isn't currently open.
1998-10-03 08:55:29 +00:00
..
1998-09-29 20:19:45 +00:00
1998-09-29 20:19:45 +00:00
1998-09-14 19:56:42 +00:00
1998-09-29 20:19:45 +00:00
1998-09-13 15:40:31 +00:00
1998-08-17 01:05:25 +00:00
1998-09-17 09:35:02 +00:00
1998-08-17 01:05:25 +00:00
1998-01-08 23:42:31 +00:00
1998-10-01 09:35:48 +00:00
1997-05-28 04:45:15 +00:00