Ok this was triggered by a kernel panic. Presumably to do with these unknown symbols:
[ 45.060826] vmhgfs: Unknown symbol VMCIDatagram_Send (err 0) [ 45.060924] vmhgfs: Unknown symbol VMCIDatagram_DestroyHnd (err 0) [ 45.060939] vmhgfs: Unknown symbol VMCIDatagram_CreateHnd (err 0) [ 45.759823] BUG: unable to handle kernel paging request at ffff8800db107774 [ 45.759829] IP: [<ffffffff810a5f40>] module_put+0x30/0xc0 [ 45.759837] PGD 1c06063 PUD 0 [ 45.759840] Oops: 0002 [#1] SMP [ 45.759843] CPU 3
Moving to linux.
Ok this was triggered by a kernel panic. Presumably to do with these unknown symbols:
[ 45.060826] vmhgfs: Unknown symbol VMCIDatagram_Send (err 0) DestroyHnd (err 0) CreateHnd (err 0) f40>] module_ put+0x30/ 0xc0
[ 45.060924] vmhgfs: Unknown symbol VMCIDatagram_
[ 45.060939] vmhgfs: Unknown symbol VMCIDatagram_
[ 45.759823] BUG: unable to handle kernel paging request at ffff8800db107774
[ 45.759829] IP: [<ffffffff810a5
[ 45.759837] PGD 1c06063 PUD 0
[ 45.759840] Oops: 0002 [#1] SMP
[ 45.759843] CPU 3
Moving to linux.