[   78.020017] CE: hpet2 increased min_delta_ns to 11250 nsec
[   78.020021] hrtimer: interrupt took 10132 ns
[  153.640086] CE: hpet3 increased min_delta_ns to 7500 nsec
[  153.640094] CE: hpet3 increased min_delta_ns to 11250 nsec
[  307.631586] vboxdrv: Found 2 processor cores.
[  307.632084] vboxdrv: fAsync=0 offMin=0x2c7 offMax=0xd77
[  307.632310] vboxdrv: TSC mode is 'synchronous', kernel timer mode is 'normal'.
[  307.632312] vboxdrv: Successfully loaded version 4.0.4_OSE (interface 0x00160000).
[10275.372977] oss_hdaudio 0000:00:1b.0: PCI INT A -> GSI 22 (level, low) -> IRQ 22
[10275.377200] oss_hdaudio: HDA codec 0x11d41882 not known yet
[10275.386010] oss_hdaudio: Too many connections(B) for widget 35 (24)
[10275.390725] oss_hdaudio: HDA codec 0x11d41882 not known yet
[10275.407124] usbcore: registered new interface driver oss_usb
[10421.987919] oss_hdaudio 0000:00:1b.0: PCI INT A disabled
[10421.989169] usbcore: deregistering interface driver oss_usb
[11544.089924] oss_hdaudio 0000:00:1b.0: PCI INT A -> GSI 22 (level, low) -> IRQ 22
[11544.094169] oss_hdaudio: HDA codec 0x11d41882 not known yet
[11544.103034] oss_hdaudio: Too many connections(B) for widget 35 (24)
[11544.107757] oss_hdaudio: HDA codec 0x11d41882 not known yet
[11544.124061] usbcore: registered new interface driver oss_usb