# https://syzkaller.appspot.com/bug?id=eb58be7665443d0be43a012ff2d1f24cbe29c026
# See https://goo.gl/kgGztJ for information about syzkaller reproducers.
#{"threaded":true,"repeat":true,"procs":1,"slowdown":1,"sandbox":"none","close_fds":true}
r0 = userfaultfd(0x80001)
ioctl$UFFDIO_API(r0, 0xc018aa3f, &(0x7f0000000040))
read(r0, &(0x7f0000000180)=""/60, 0x3c) (fail_nth: 4)
ioctl$UFFDIO_REGISTER(r0, 0xc020aa00, &(0x7f0000000000)={{&(0x7f00007aa000/0x3000)=nil, 0x3000}, 0x1})