Debugging for device driver