r0 = openat$sndtimer(0xffffffffffffff9c, &(0x7f0000000080), 0x82800) read(r0, &(0x7f0000000140)=""/78, 0x4e)