| using deprecated.usb; |
| |
| // The device must be a USB device. |
| deprecated.BIND_PROTOCOL == deprecated.usb.BIND_PROTOCOL.DEVICE; |
| |
| if deprecated.BIND_USB_VID == deprecated.usb.BIND_USB_VID.INTEL { |
| // If the device's vendor is Intel, the device class must be audio. |
| deprecated.BIND_USB_CLASS == deprecated.usb.BIND_USB_CLASS.AUDIO; |
| } else if deprecated.BIND_USB_VID == deprecated.usb.BIND_USB_VID.REALTEK { |
| // If the device's vendor is Realtek, the device class must be one of the following values: |
| accept deprecated.BIND_USB_CLASS { |
| deprecated.usb.BIND_USB_CLASS.COMM, |
| deprecated.usb.BIND_USB_CLASS.VIDEO, |
| } |
| } else { |
| // If the vendor is neither Intel or Realtek, do not bind. |
| abort; |
| } |
