Constant EHCI_Lucent 

pub const EHCI_Lucent: USB_CONTROLLER_FLAVOR = 3000;