Constant EHCI_NVIDIA_Tegra3 

pub const EHCI_NVIDIA_Tegra3: USB_CONTROLLER_FLAVOR = 4001;