diff options
Diffstat (limited to 'sys/linux/dev_snd_timer.txt')
| -rw-r--r-- | sys/linux/dev_snd_timer.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sys/linux/dev_snd_timer.txt b/sys/linux/dev_snd_timer.txt index 4826fa1be..a2c03df0e 100644 --- a/sys/linux/dev_snd_timer.txt +++ b/sys/linux/dev_snd_timer.txt @@ -9,7 +9,7 @@ include <uapi/linux/soundcard.h> resource fd_sndtimer[fd] -syz_open_dev$sndtimer(dev ptr[in, string["/dev/snd/timer"]], id const[0], flags flags[open_flags]) fd_sndtimer +openat$sndtimer(fd const[AT_FDCWD], file ptr[in, string["/dev/snd/timer"]], flags flags[open_flags]) fd_sndtimer ioctl$SNDRV_TIMER_IOCTL_PVERSION(fd fd_sndtimer, cmd const[SNDRV_TIMER_IOCTL_PVERSION], arg ptr[out, int32]) ioctl$SNDRV_TIMER_IOCTL_NEXT_DEVICE(fd fd_sndtimer, cmd const[SNDRV_TIMER_IOCTL_NEXT_DEVICE], arg ptr[in, snd_timer_id]) |
