# https://syzkaller.appspot.com/bug?id=4b7026a6b1c5d5aeff33f705a6efae615219dbed
# See https://goo.gl/kgGztJ for information about syzkaller reproducers.
#{"procs":1,"slowdown":1,"sandbox":"","sandbox_arg":0,"close_fds":false,"callcomments":true}
r0 = syz_open_procfs(0x0, &(0x7f0000000080)='fd\x00')
getdents64(r0, 0x0, 0x25)