33:login: kbdkill: loaded (DF-4297 PoC helper)
34:kbd2 at vkbd0
35:kbdkill: run: before kbd_detach: kbd2 (vkbd0) si_drv1=0xfffff8008bb98180 gkb_flags=0x00000001
36:kbdkill: run: kbd_detach done - genkbd_softc freed at 0xfffff8008bb98180 (reader still blocked in genkbdread holds this pointer)
37:kbdkill: run: kbd_detach done; groomed 256 x 536 chunks (first @ 0xfffff8008bb98180)
38:kbdkill: snap: freed sc gkb_flags = 0x55555555 (pre-signal)
39:kbdkill: check2: freed sc gkb_flags now 0x55555554 (v0=0x00000001 pre-free, v1=0x55555555 pre-signal)
40:kbdkill: freed sc content changed after signal (0x55555555 -> 0x55555554)
41:kbdkill: check2: freed sc gkb_flags now 0x55555554 (v0=0x00000001 pre-free, v1=0x55555555 pre-signal)
42:kbdkill: freed sc content changed after signal (0x55555555 -> 0x55555554)
45:Fatal trap 9: general protection fault while in kernel mode
53:current process		= 1133
59:Stopped at      knote+0x2c:     movq    0x30(%r15),%rbx