K 10
svn:author
V 3
dfr
K 8
svn:date
V 27
1998-10-03T08:55:29.000000Z
K 7
svn:log
V 140
Don't call DEVICE_DETACH directly, always go through the device_detach()
wrapper which checks to make sure the device isn't currently open.

END