r0 = syz_open_procfs(0x0, &(0x7f0000001240)='ns\x00')
readv(r0, &(0x7f0000001400)=[{&(0x7f0000001280)=""/71, 0x47}], 0x1)