# Copyright 2019 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.

include <sys/param.h>
include <sys/ioctl.h>
include <sys/fcntl.h>

include <sys/disk.h>
include <sys/dkio.h>

resource fd_diskmap[fd]

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

ioctl$DIOCMAP(fd fd_diskmap, cmd const[DIOCMAP], arg ptr[in, dk_diskmap])

dk_diskmap {
	device	ptr[in, filename]
	fd	fd
	flags	flags[dk_diskmap_flags, int32]
}

dk_diskmap_flags = DM_OPENPART, DM_OPENBLCK