r0 = openat$cdrom(0xffffffffffffff9c, &(0x7f0000002480), 0x800, 0x0)
ioctl$CDROMREADAUDIO(r0, 0x530e, &(0x7f0000000ac0)={@msf, 0x1, 0x4b, &(0x7f00000000c0)=""/75})