Constant EHCI_NVIDIA_Tegra2 

pub const EHCI_NVIDIA_Tegra2: USB_CONTROLLER_FLAVOR = 4000;