[   20.109626] applesmc: light sensor data length set to 10
[   20.223262] nvidia 0000:01:00.0: PCI INT A -> GSI 16 (level, low) -> IRQ 16
[   20.223274] nvidia 0000:01:00.0: setting latency timer to 64
[   20.223280] vgaarb: device changed decodes: PCI:0000:01:00.0,olddecodes=io+mem,decodes=none:owns=io+mem
[   20.223460] NVRM: loading NVIDIA UNIX x86_64 Kernel Module  195.36.15  Fri Mar 12 00:29:13 PST 2010
[   20.314316] vboxdrv: Trying to deactivate the NMI watchdog permanently...
[   20.314319] vboxdrv: Successfully done.
[   20.314321] vboxdrv: Found 4 processor cores.
[   20.314557] VBoxDrv: dbg - g_abExecMemory=ffffffffa0f3ea20
[   20.314611] vboxdrv: fAsync=0 offMin=0xe7 offMax=0x2085
[   20.314899] vboxdrv: TSC mode is 'synchronous', kernel timer mode is 'normal'.
[   20.314901] vboxdrv: Successfully loaded version 3.1.8 (interface 0x00100001).
[   21.439697] ppdev: user-space parallel port driver
[   28.631085] eth1: no IPv6 routers present