[    2.573758] usbmon: debugfs is not available
[    2.580213] ehci_hcd: USB 2.0 'Enhanced' Host Controller (EHCI) Driver
[    2.587345] ehci_hcd 0000:00:0f.5: guessed PCI INT D -> IRQ 10
[    2.594657] ehci_hcd 0000:00:0f.5: sharing IRQ 10 with 0000:00:0f.4
[    2.602282] ehci_hcd 0000:00:0f.5: EHCI Host Controller
[    2.609856] ehci_hcd 0000:00:0f.5: new USB bus registered, assigned bus number 1
[    2.648344] ehci_hcd 0000:00:0f.5: irq 10, io mem 0xfe00f000
[    2.662134] ehci_hcd 0000:00:0f.5: USB 2.0 started, EHCI 1.00
[    2.670970] usb usb1: New USB device found, idVendor=1d6b, idProduct=0002
[    2.680139] usb usb1: New USB device strings: Mfr=3, Product=2, SerialNumber=1
[    2.698682] usb usb1: Product: EHCI Host Controller
[    2.708520] usb usb1: Manufacturer: Linux 2.6.38-rc6-geode-test ehci_hcd

[    2.727671] usb usb1: SerialNumber: 0000:00:0f.5

[    2.749418] hub 1-0:1.0: USB hub found

[    2.768859] hub 1-0:1.0: 4 ports detected
[    2.780992] ohci_hcd: USB 1.1 'Open' Host Controller (OHCI) Driver
[    2.791600] ohci_hcd 0000:00:0f.4: guessed PCI INT D -> IRQ 10

[    2.812614] ohci_hcd 0000:00:0f.4: sharing IRQ 10 with 0000:00:0f.5
[    2.823225] ohci_hcd 0000:00:0f.4: OHCI Host Controller

[    2.854177] ohci_hcd 0000:00:0f.4: new USB bus registered, assigned bus number 2
[    2.898909] ohci_hcd 0000:00:0f.4: irq 10, io mem 0xfe00e000

[    3.031920] usb usb2: New USB device found, idVendor=1d6b, idProduct=0001
[    3.042692] usb usb2: New USB device strings: Mfr=3, Product=2, SerialNumber=1
[    3.063666] usb usb2: Product: OHCI Host Controller
[    3.074239] usb usb2: Manufacturer: Linux 2.6.38-rc6-geode-test ohci_hcd
[    3.084919] usb usb2: SerialNumber: 0000:00:0f.4
[    3.097818] hub 2-0:1.0: USB hub found
[    3.108343] hub 2-0:1.0: 4 ports detected

[    3.455240] usb 2-2: new low speed USB device using ohci_hcd and address 2

[    3.626232] usb 2-2: New USB device found, idVendor=413c, idProduct=2003
[    3.645148] usb 2-2: New USB device strings: Mfr=1, Product=2, SerialNumber=0
[    3.670133] usb 2-2: Product: Dell USB Keyboard
[    3.686647] usb 2-2: Manufacturer: Dell
[    3.800758] udev[1022]: starting version 164
[    3.831200] usb 2-4: new low speed USB device using ohci_hcd and address 3
[    3.989193] usb 2-4: New USB device found, idVendor=1267, idProduct=0210
[    4.007147] usb 2-4: New USB device strings: Mfr=0, Product=2, SerialNumber=0
[    4.029141] usb 2-4: Product: PS/2+USB Mouse
[    4.344225] input: Dell Dell USB Keyboard as /devices/pci0000:00/0000:00:0f.4/usb2/2-2/2-2:1.0/input/input0
[    4.385391] generic-usb 0003:413C:2003.0001: input: USB HID v1.10 Keyboard [Dell Dell USB Keyboard] on usb-0000:00:0f.4-2/input0
[    4.480174] input: PS/2+USB Mouse as /devices/pci0000:00/0000:00:0f.4/usb2/2-4/2-4:1.0/input/input1
[    4.526191] generic-usb 0003:1267:0210.0002: input: USB HID v1.00 Mouse [PS/2+USB Mouse] on usb-0000:00:0f.4-4/input0
[    4.573637] usbcore: registered new interface driver usbhid
[    4.597128] usbhid: USB HID core driver