github.com/google/syzkaller@v0.0.0-20240517125934-c0f1611a36d6/sys/openbsd/dev_diskmap.txt (about)

     1  # Copyright 2019 syzkaller project authors. All rights reserved.
     2  # Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file.
     3  
     4  include <sys/param.h>
     5  include <sys/ioctl.h>
     6  include <sys/fcntl.h>
     7  
     8  include <sys/disk.h>
     9  include <sys/dkio.h>
    10  
    11  resource fd_diskmap[fd]
    12  
    13  openat$diskmap(fd const[AT_FDCWD], file ptr[in, string["/dev/diskmap"]], flags flags[open_flags], mode const[0]) fd_diskmap
    14  
    15  ioctl$DIOCMAP(fd fd_diskmap, cmd const[DIOCMAP], arg ptr[in, dk_diskmap])
    16  
    17  dk_diskmap {
    18  	device	ptr[in, filename]
    19  	fd	fd
    20  	flags	flags[dk_diskmap_flags, int32]
    21  }
    22  
    23  dk_diskmap_flags = DM_OPENPART, DM_OPENBLCK