Constant EHCI_NEC 

pub const EHCI_NEC: USB_CONTROLLER_FLAVOR = 2000;