| # 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 |
