RBP: 00000000006cf018 R08: 0000000000000001 R09: 0000000000000032
R10: 0000000000000000 R11: 0000000000000246 R12: 0000000000000005
R13: ffffffffffffffff R14: 0000000000000000 R15: 0000000000000000

================================================
WARNING: lock held when returning to user space!
4.20.0+ #395 Not tainted
------------------------------------------------
syz-executor520/8085 is leaving the kernel with locks still held!