diff options
Diffstat (limited to 'sys/openbsd/dev_vmm.txt')
| -rw-r--r-- | sys/openbsd/dev_vmm.txt | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/sys/openbsd/dev_vmm.txt b/sys/openbsd/dev_vmm.txt index 5ef256cb2..42d45512b 100644 --- a/sys/openbsd/dev_vmm.txt +++ b/sys/openbsd/dev_vmm.txt @@ -8,6 +8,8 @@ include <sys/fcntl.h> include <machine/param.h> include <machine/vmmvar.h> +include <dev/vmm/vmm.h> + resource fd_vmm[fd] openat$vmm(fd const[AT_FDCWD], file ptr[in, string["/dev/vmm"]], flags flags[open_flags], mode const[0]) fd_vmm @@ -41,14 +43,8 @@ vcpu_segment_info { vm_create_params { vcp_nmemranges len[vcp_memranges, int64] vcp_ncpus int64 - vcp_ndisks len[vcp_disks, int64] - vcp_nnics int64 vcp_memranges array[vm_mem_range, VMM_MAX_MEM_RANGES] - vcp_disks array[string[filename, VMM_MAX_PATH_DISK], VMM_MAX_DISKS_PER_VM] - vcp_cdrom string[filename, VMM_MAX_PATH_CDROM] vcp_name string[filename, VMM_MAX_NAME_LEN] - vcp_kernel string[filename, VMM_MAX_KERNEL_PATH] - vcp_macs array[string[filename, 6], VMM_MAX_NICS_PER_VM] # NEED: actual out parameter, syz_vmm_create(arg ptr[in, vm_create_params]) vmid vcp_id int32 } |