# AUTOGENERATED FILE
AT_FDCWD = 18446744073709551516
SYS_ioctl = 54
SYS_openat = 321
VCPU_REGS_NCRS = 10
VCPU_REGS_NDRS = 6
VCPU_REGS_NGPRS = 18
VCPU_REGS_NMSRS = 7
VCPU_REGS_NSREGS = 8
VMM_IOC_CREATE = 3305133569
VMM_IOC_INFO = 3222820355
VMM_IOC_INTR = 2148292102
VMM_IOC_READREGS = 3259520519
VMM_IOC_RESETCPU = 2185254405
VMM_IOC_RUN = 3223344642
VMM_IOC_TERM = 2147767812
VMM_IOC_WRITEREGS = 2185778696
VMM_MAX_DISKS_PER_VM = 4
VMM_MAX_KERNEL_PATH = 128
VMM_MAX_MEM_RANGES = 16
VMM_MAX_NAME_LEN = 64
VMM_MAX_NICS_PER_VM = 4
VMM_MAX_PATH_CDROM = 128
VMM_MAX_PATH_DISK = 128