Constant EHCI_Lucent 

pub const EHCI_Lucent: USB_CONTROLLER_FLAVOR;