# Code generated by syz-sysgen. DO NOT EDIT.
arches = amd64
AT_FDCWD = amd64:18446744073709551516
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:3260569089
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_MEM_RANGES = amd64:16
VMM_MAX_NAME_LEN = amd64:64