kernel panic: Proc-ful Page Fault in the Kernel at ADDR!

[syzbot]

Hello,

syzbot found the following crash on:

HEAD commit: 93b9607ebeff Serialize printing during panic()
git tree: https://github.com/akaros/akaros.git/master
console output: https://syzkaller.appspot.com/x/log.txt?x=17298f70400000
kernel config: https://syzkaller.appspot.com/x/.config?x=efef8cf2939304d3
dashboard link: https://syzkaller.appspot.com/bug?extid=c9d58a7d1582d003ea18
compiler:
syzkaller repro:https://syzkaller.appspot.com/x/repro.syz?x=15ba31c2400000
C reproducer: https://syzkaller.appspot.com/x/repro.c?x=147c2bb2400000

IMPORTANT: if you fix the bug, please add the following tag to the commit:
Reported-by: syzbot+c9d58a...@syzkaller.appspotmail.com

kernel panic at kern/arch/x86/trap.c:311, from core 0: Proc-ful Page Fault
in the Kernel at 0x000000000000001b!
Stack Backtrace on Core 0:
#01 [<0xffffffffc200a3b7>] in backtrace at src/kdebug.c:219
#02 [<0xffffffffc2009b7c>] in _panic at src/init.c:266
#03 [< [inline] >] in __handler_kernel_page_fault at
arch/x86/trap.c:311
#03 [< [inline] >] in __handle_page_fault at arch/x86/trap.c:327
#03 [< [inline] >] in trap_dispatch at arch/x86/trap.c:589
#03 [<0xffffffffc20aa649>] in trap at arch/x86/trap.c:674


---
This bug is generated by a bot. It may contain errors.
See https://goo.gl/tpsmEJ for more information about syzbot.
syzbot engineers can be reached at syzk...@googlegroups.com.

syzbot will keep track of this bug report. See:
https://goo.gl/tpsmEJ#bug-status-tracking for how to communicate with
syzbot.
syzbot can test patches for this bug, for details see:
https://goo.gl/tpsmEJ#testing-patches

[Dmitry Vyukov]

This one crashed just silly 200000 machines:
https://syzkaller.appspot.com/bug?extid=c9d58a7d1582d003ea18

> --
> You received this message because you are subscribed to the Google Groups
> "Akaros" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to akaros+un...@googlegroups.com.
> To post to this group, send email to aka...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.