# 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.
# Originally autogenerated by sys2syz

include <dev/hdaudio/hdaudioio.h>

resource fd_hdaudio[fd]

openat$hdaudio(fd const[AT_FDCWD], file ptr[in, string["/dev/hdaudio0"]], 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])
