# https://syzkaller.appspot.com/bug?id=a33adfbe5191616c06fb664cb99c42003f424816
# See https://goo.gl/kgGztJ for information about syzkaller reproducers.
#{"procs":1,"sandbox":"","fault_call":-1}
r0 = openat$dev_osversion(0xffffffffffffff9c, &(0x7f00000000c0)='/dev/osversion\x00', 0x1, 0x1, 0x0)
read(r0, &(0x7f0000000000)=""/72, 0x48)