...
- Tracking whether a device is open is not necessary, because this should ONLY be called when a device is open.
- This will be called EVERY every time the device is closed.
- The device driver
Close()
function is called while the caller holds the device lock.