pub const EHCI_Lucent: USB_CONTROLLER_FLAVOR = 3000i32;