login: vga_switcheroo device loaded
uaftrig: loaded /dev/uaftrig (stand-in for drm.ko's vga_switcheroo references)
uaftrig: vga_switcheroo_lock_ddc(NULL) = -19
uaftrig: vga_switcheroo_unlock_ddc(NULL) = -19
uaftrig: vga_switcheroo_lock_ddc(NULL) = -19
uaftrig: vga_switcheroo_unlock_ddc(NULL) = -19
uaftrig: vga_switcheroo_lock_ddc(NULL) = -19
uaftrig: vga_switcheroo_unlock_ddc(NULL) = -19
uaftrig: vga_switcheroo_lock_ddc(NULL) = -19
uaftrig: vga_switcheroo_unlock_ddc(NULL) = -19
uaftrig: vga_switcheroo_lock_ddc(NULL) = -19
uaftrig: vga_switcheroo_unlock_ddc(NULL) = -19
uaftrig: vga_switcheroo_lock_ddc(NULL) = -19
uaftrig: vga_switcheroo_unlock_ddc(NULL) = -19
uaftrig: vga_switcheroo_lock_ddc(NULL) = -19
uaftrig: vga_switcheroo_unlock_ddc(NULL) = -19
uaftrig: vga_switcheroo_lock_ddc(NULL) = -19
uaftrig: vga_switcheroo_unlock_ddc(NULL) = -19
uaftrig: vga_switcheroo_lock_ddc(NULL) = -19
uaftrig: vga_switcheroo_unlock_ddc(NULL) = -19
uaftrig: vga_switcheroo_lock_ddc(NULL) = -19
uaftrig: vga_switcheroo_unlock_ddc(NULL) = -19
uaftrig: vga_switcheroo_lock_ddc(NULL) = -19
uaftrig: vga_switcheroo_unlock_ddc(NULL) = -19
vga_switcheroo device unloaded


Fatal trap 12: page fault while in kernel mode
cpuid = 5; lapic id = 5
fault virtual address	= 0xffffffff82601040
fault code		= supervisor read instruction, page not present
instruction pointer	= 0x8:0xffffffff82601040
stack pointer	        = 0x10:0xfffff80117b43780
frame pointer	        = 0x10:0xfffff80117b43788
code segment		= base 0x0, limit 0xfffff, type 0x1b
			= DPL 0, pres 1, long 1, def32 0, gran 1
processor eflags	= interrupt enabled, resume, IOPL = 0
current process		= 1308
current thread          = pri 6 
kernel: type 12 trap, code=10

CPU5 stopping CPUs: 0x0000001f
 stopped
Stopped at      -0x7d9fefc0:

Fatal trap 12: page fault while in kernel mode
cpuid = 5; lapic id = 5
fault virtual address	= 0xffffffff82601040
fault code		= supervisor read data, page not present
instruction pointer	= 0x8:0xffffffff80bccb70
stack pointer	        = 0x10:0xfffff80117b43420
frame pointer	        = 0x10:0xfffff80117b43448
code segment		= base 0x0, limit 0xfffff, type 0x1b
			= DPL 0, pres 1, long 1, def32 0, gran 1
processor eflags	= interrupt enabled, resume, IOPL = 0
current process		= 1308
current thread          = pri 6 (CRIT)
    kernel: type 12 trap, code=0
db>