# 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/dm/netbsd-dm.h>

resource fd_dm[fd]

openat$dm(fd const[AT_FDCWD], file ptr[in, string["/dev/dm"]], flags flags[open_flags], mode const[0]) fd_dm

ioctl$NETBSD_DM_IOCTL(fd fd_dm, cmd const[NETBSD_DM_IOCTL], arg ptr[inout, plistref])

plistref {
	pref_plist	buffer[inout]
	pref_len	len[pref_plist, intptr]
}
