Constant UHCI_Piix3 

pub const UHCI_Piix3: USB_CONTROLLER_FLAVOR;