[   15.419419]   alloc irq_desc for 27 on node 0
[   15.419423]   alloc kstat_irqs on node 0
[   15.419433] forcedeth 0000:00:0a.0: irq 27 for MSI/MSI-X
[   19.534716] vboxdrv: Trying to deactivate the NMI watchdog permanently...
[   19.534720] vboxdrv: Warning: 2.6.31+ kernel detected. Most likely the hardware performance
[   19.534721] vboxdrv: counter framework which can generate NMIs is active. You have to prevent
[   19.534722] vboxdrv: the usage of hardware performance counters by
[   19.534723] vboxdrv:   echo 2 > /proc/sys/kernel/perf_counter_paranoid
[   19.534727] vboxdrv: Found 2 processor cores.
[   19.534774] VBoxDrv: dbg - g_abExecMemory=ffffffffa0c83280
[   19.534814] vboxdrv: fAsync=0 offMin=0x1150 offMax=0x29f2
[   19.534861] vboxdrv: TSC mode is 'asynchronous', kernel timer mode is 'normal'.
[   19.534863] vboxdrv: Successfully loaded version 3.1.0 (interface 0x00100001).
[   20.417639] ppdev: user-space parallel port driver
[   22.250916] CPU0 attaching NULL sched-domain.
[   22.250923] CPU1 attaching NULL sched-domain.
[   22.281359] CPU0 attaching sched-domain:
[   22.281363]  domain 0: span 0-1 level MC
[   22.281365]   groups: 0 1
[   22.281369]   domain 1: span 0-1 level CPU
[   22.281371]    groups: 0-1 (__cpu_power = 2048)
[   22.281376] CPU1 attaching sched-domain:
[   22.281377]  domain 0: span 0-1 level MC
[   22.281379]   groups: 1 0
[   22.281382]   domain 1: span 0-1 level CPU
[   22.281383]    groups: 0-1 (__cpu_power = 2048)
[   26.161266] eth0: no IPv6 routers present
[   28.237202] CPU0 attaching NULL sched-domain.
[   28.237209] CPU1 attaching NULL sched-domain.
[   28.271343] CPU0 attaching sched-domain:
[   28.271347]  domain 0: span 0-1 level MC
[   28.271350]   groups: 0 1
[   28.271355] CPU1 attaching sched-domain:
[   28.271356]  domain 0: span 0-1 level MC
[   28.271358]   groups: 1 0
[   83.001284] Clocksource tsc unstable (delta = -235715623 ns)
[   87.571299] usb 1-1: reset high speed USB device using ehci_hcd and address 2