1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
# Copyright 2018 syzkaller project authors. All rights reserved.
# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file.
# Autogenerated by sys2syz
include <dev/hdaudio/hdaudioio.h>
resource fd_hdaudio[fd]
openat$hdaudio(fd const[AT_FDCWD], file ptr[in, string["/dev/hdaudio"]], flags flags[open_flags], mode const[0]) fd_hdaudio
ioctl$HDAUDIO_FGRP_INFO(fd fd_hdaudio, cmd const[HDAUDIO_FGRP_INFO], arg ptr[inout, plistref])
ioctl$HDAUDIO_FGRP_GETCONFIG(fd fd_hdaudio, cmd const[HDAUDIO_FGRP_GETCONFIG], arg ptr[inout, plistref])
ioctl$HDAUDIO_FGRP_SETCONFIG(fd fd_hdaudio, cmd const[HDAUDIO_FGRP_SETCONFIG], arg ptr[inout, plistref])
ioctl$HDAUDIO_FGRP_WIDGET_INFO(fd fd_hdaudio, cmd const[HDAUDIO_FGRP_WIDGET_INFO], arg ptr[inout, plistref])
ioctl$HDAUDIO_FGRP_CODEC_INFO(fd fd_hdaudio, cmd const[HDAUDIO_FGRP_CODEC_INFO], arg ptr[inout, plistref])
ioctl$HDAUDIO_AFG_WIDGET_INFO(fd fd_hdaudio, cmd const[HDAUDIO_AFG_WIDGET_INFO], arg ptr[inout, plistref])
ioctl$HDAUDIO_AFG_CODEC_INFO(fd fd_hdaudio, cmd const[HDAUDIO_AFG_CODEC_INFO], arg ptr[inout, plistref])
|
