# Code generated by syz-sysgen. DO NOT EDIT.
arches = amd64
AT_FDCWD = amd64:18446744073709551516
SYS_ioctl = amd64:54
SYS_openat = amd64:321
VCPU_REGS_NCRS = amd64:10
VCPU_REGS_NDRS = amd64:6
VCPU_REGS_NGPRS = amd64:18
VCPU_REGS_NMSRS = amd64:7
VCPU_REGS_NSREGS = amd64:8
VMM_IOC_CREATE = amd64:3305133569
VMM_IOC_INFO = amd64:3222820355
VMM_IOC_INTR = amd64:2148292102
VMM_IOC_READREGS = amd64:3259520519
VMM_IOC_RESETCPU = amd64:2185254405
VMM_IOC_RUN = amd64:3223344642
VMM_IOC_TERM = amd64:2147767812
VMM_IOC_WRITEREGS = amd64:2185778696
VMM_MAX_DISKS_PER_VM = amd64:4
VMM_MAX_KERNEL_PATH = amd64:128
VMM_MAX_MEM_RANGES = amd64:16
VMM_MAX_NAME_LEN = amd64:64
VMM_MAX_NICS_PER_VM = amd64:4
VMM_MAX_PATH_CDROM = amd64:128
VMM_MAX_PATH_DISK = amd64:128