Constant UHCI_Piix4 

pub const UHCI_Piix4: USB_CONTROLLER_FLAVOR;