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

     1  # Code generated by syz-sysgen. DO NOT EDIT.
     2  arches = amd64
     3  AT_FDCWD = amd64:18446744073709551516
     4  VCPU_REGS_NCRS = amd64:10
     5  VCPU_REGS_NDRS = amd64:6
     6  VCPU_REGS_NGPRS = amd64:18
     7  VCPU_REGS_NMSRS = amd64:7
     8  VCPU_REGS_NSREGS = amd64:8
     9  VMM_IOC_CREATE = amd64:3260569089
    10  VMM_IOC_INFO = amd64:3222820355
    11  VMM_IOC_INTR = amd64:2148292102
    12  VMM_IOC_READREGS = amd64:3259520519
    13  VMM_IOC_RESETCPU = amd64:2185254405
    14  VMM_IOC_RUN = amd64:3223344642
    15  VMM_IOC_TERM = amd64:2147767812
    16  VMM_IOC_WRITEREGS = amd64:2185778696
    17  VMM_MAX_MEM_RANGES = amd64:16
    18  VMM_MAX_NAME_LEN = amd64:64