[liveuser@localhost ~]$ dmesg | grep -i uhc
[    0.415248] uhci_hcd: USB Universal Host Controller Interface driver
[    0.415384] uhci_hcd 0000:00:01.2: PCI INT D -> Link[LNKD] -> GSI 11 (level, high) -> IRQ 11
[    0.415403] uhci_hcd 0000:00:01.2: setting latency timer to 64
[    0.415410] uhci_hcd 0000:00:01.2: UHCI Host Controller
[    0.415476] uhci_hcd 0000:00:01.2: new USB bus registered, assigned bus number 1
[    0.415564] uhci_hcd 0000:00:01.2: irq 11, io base 0x0000c020
[    0.415643] usb usb1: Product: UHCI Host Controller
[    0.415645] usb usb1: Manufacturer: Linux 3.1.0-7.fc16.x86_64 uhci_hcd
[    1.113045] usb 1-1: new full speed USB device number 2 using uhci_hcd
[liveuser@localhost ~]$ dmesg | grep -i ehc
[    0.415222] ehci_hcd: USB 2.0 'Enhanced' Host Controller (EHCI) Driver
[liveuser@localhost ~]$