# Code generated by syz-sysgen. DO NOT EDIT.
arches = 386, amd64
AT_FDCWD = 18446744073709551516
KVM_APIC_REG_SIZE = 1024
KVM_BUS_LOCK_DETECTION_EXIT = 2
KVM_BUS_LOCK_DETECTION_OFF = 1
KVM_CAP_DISABLE_QUIRKS = 116
KVM_CAP_DISABLE_QUIRKS2 = 213
KVM_CAP_ENFORCE_PV_FEATURE_CPUID = 190
KVM_CAP_EXCEPTION_PAYLOAD = 164
KVM_CAP_EXIT_HYPERCALL = 201
KVM_CAP_EXIT_ON_EMULATION_FAILURE = 204
KVM_CAP_HYPERV_DIRECT_TLBFLUSH = 175
KVM_CAP_HYPERV_ENFORCE_CPUID = 199
KVM_CAP_HYPERV_ENLIGHTENED_VMCS = 163
KVM_CAP_HYPERV_SEND_IPI = 161
KVM_CAP_HYPERV_SYNIC = 123
KVM_CAP_HYPERV_SYNIC2 = 148
KVM_CAP_HYPERV_TLBFLUSH = 155
KVM_CAP_HYPERV_VP_INDEX = 149
KVM_CAP_MAX_VCPU_ID = 128
KVM_CAP_MEMORY_FAULT_INFO = 232
KVM_CAP_MSR_PLATFORM_INFO = 159
KVM_CAP_PMU_CAPABILITY = 212
KVM_CAP_SGX_ATTRIBUTE = 196
KVM_CAP_SPLIT_IRQCHIP = 121
KVM_CAP_STEAL_TIME = 187
KVM_CAP_SYNC_REGS = 74
KVM_CAP_VM_COPY_ENC_CONTEXT_FROM = 197
KVM_CAP_VM_DISABLE_NX_HUGE_PAGES = 220
KVM_CAP_VM_MOVE_ENC_CONTEXT_FROM = 206
KVM_CAP_VM_TYPES = 235
KVM_CAP_X2APIC_API = 129
KVM_CAP_X86_APIC_BUS_CYCLES_NS = 237
KVM_CAP_X86_BUS_LOCK_EXIT = 193
KVM_CAP_X86_DISABLE_EXITS = 143
KVM_CAP_X86_GUEST_MODE = 238
KVM_CAP_X86_NOTIFY_VMEXIT = 219
KVM_CAP_X86_USER_SPACE_MSR = 188
KVM_CAP_XEN_HVM = 38
KVM_CLOCK_HOST_TSC = 8
KVM_CLOCK_REALTIME = 4
KVM_CLOCK_TSC_STABLE = 2
KVM_CPUID_FEATURES = 1073741825
KVM_CPUID_FLAG_SIGNIFCANT_INDEX = 1
KVM_CPUID_FLAG_STATEFUL_FUNC = 2
KVM_CPUID_FLAG_STATE_READ_NEXT = 4
KVM_CPUID_SIGNATURE = 1073741824
KVM_CREATE_PIT2 = 1077980791
KVM_ENABLE_CAP = 1080602275
KVM_ENABLE_CAP_SIZE = ???
KVM_GET_CLOCK = 2150674044
KVM_GET_CPUID2 = 3221794449
KVM_GET_DEBUGREGS = 2155916961
KVM_GET_EMULATED_CPUID = 3221794313
KVM_GET_FPU = 2174791308
KVM_GET_IRQCHIP = 3255348834
KVM_GET_LAPIC = 2214637198
KVM_GET_MSRS = 3221794440
KVM_GET_MSR_FEATURE_INDEX_LIST = 3221532170
KVM_GET_MSR_INDEX_LIST = 3221532162
KVM_GET_NESTED_STATE = 3229658814
KVM_GET_NR_MMU_PAGES = 44613
KVM_GET_PIT = 3225988709
KVM_GET_PIT2 = 2154868383
KVM_GET_SREGS2 = 2168499916
KVM_GET_SUPPORTED_CPUID = 3221794309
KVM_GET_SUPPORTED_HV_CPUID = 3221794497
KVM_GET_TSC_KHZ = 44707
KVM_GET_XCRS = 2173218470
KVM_GET_XSAVE = 2415963812
KVM_GET_XSAVE2 = 2415963855
KVM_HC_MAP_GPA_RANGE = 12
KVM_HYPERV_EVENTFD = 1075359421
KVM_IRQCHIP_IOAPIC = 2
KVM_IRQCHIP_PIC_MASTER = 0
KVM_IRQCHIP_PIC_SLAVE = 1
KVM_MAX_IRQ_ROUTES = 4096
KVM_MAX_XCRS = 16
KVM_MEMORY_ATTRIBUTE_PRIVATE = 8
KVM_MEMORY_ENCRYPT_OP = 386:3221532346, amd64:3221794490
KVM_MEMORY_ENCRYPT_REG_REGION = 2148576955
KVM_MEMORY_ENCRYPT_UNREG_REGION = 2148576956
KVM_MSR_EXIT_REASON_FILTER = 4
KVM_MSR_EXIT_REASON_INVAL = 1
KVM_MSR_EXIT_REASON_UNKNOWN = 2
KVM_MSR_FILTER_DEFAULT_ALLOW = 0
KVM_MSR_FILTER_DEFAULT_DENY = 1
KVM_MSR_FILTER_MAX_RANGES = 16
KVM_MSR_FILTER_READ = 1
KVM_MSR_FILTER_WRITE = 2
KVM_NMI = 44698
KVM_REINJECT_CONTROL = 44657
KVM_SETUP_CPL3 = 8
KVM_SETUP_PAE = 2
KVM_SETUP_PAGING = 1
KVM_SETUP_PROTECTED = 4
KVM_SETUP_SMM = 32
KVM_SETUP_VIRT86 = 16
KVM_SETUP_VM = 64
KVM_SET_BOOT_CPU_ID = 44664
KVM_SET_CLOCK = 1076932219
KVM_SET_CPUID = 1074310794
KVM_SET_CPUID2 = 1074310800
KVM_SET_DEBUGREGS = 1082175138
KVM_SET_FPU = 1101049485
KVM_SET_GUEST_DEBUG = 1078505115
KVM_SET_IDENTITY_MAP_ADDR = 1074310728
KVM_SET_IRQCHIP = 2181607011
KVM_SET_LAPIC = 1140895375
KVM_SET_MEMORY_ATTRIBUTES = 1075883730
KVM_SET_MSRS = 1074310793
KVM_SET_NESTED_STATE = 1082175167
KVM_SET_NR_MMU_PAGES = 44612
KVM_SET_PIT = 2152246886
KVM_SET_PIT2 = 1081126560
KVM_SET_SREGS2 = 1094758093
KVM_SET_TSC_KHZ = 44706
KVM_SET_TSS_ADDR = 44615
KVM_SET_VAPIC_ADDR = 1074310803
KVM_SET_XCRS = 1099476647
KVM_SET_XSAVE = 1342221989
KVM_SEV_CERT_EXPORT = 19
KVM_SEV_DBG_DECRYPT = 17
KVM_SEV_DBG_ENCRYPT = 18
KVM_SEV_ES_INIT = 1
KVM_SEV_GET_ATTESTATION_REPORT = 20
KVM_SEV_GUEST_STATUS = 16
KVM_SEV_INIT = 0
KVM_SEV_INIT2 = 22
KVM_SEV_LAUNCH_FINISH = 7
KVM_SEV_LAUNCH_MEASURE = 6
KVM_SEV_LAUNCH_SECRET = 5
KVM_SEV_LAUNCH_START = 2
KVM_SEV_LAUNCH_UPDATE_DATA = 3
KVM_SEV_LAUNCH_UPDATE_VMSA = 4
KVM_SEV_RECEIVE_FINISH = 15
KVM_SEV_RECEIVE_START = 12
KVM_SEV_RECEIVE_UPDATE_DATA = 13
KVM_SEV_RECEIVE_UPDATE_VMSA = 14
KVM_SEV_SEND_CANCEL = 21
KVM_SEV_SEND_FINISH = 11
KVM_SEV_SEND_START = 8
KVM_SEV_SEND_UPDATE_DATA = 9
KVM_SEV_SEND_UPDATE_VMSA = 10
KVM_SEV_SNP_FINISH_DATA_SIZE = 32
KVM_SEV_SNP_LAUNCH_FINISH = 102
KVM_SEV_SNP_LAUNCH_START = 100
KVM_SEV_SNP_LAUNCH_UPDATE = 101
KVM_SEV_SNP_PAGE_TYPE_CPUID = 6
KVM_SEV_SNP_PAGE_TYPE_NORMAL = 1
KVM_SEV_SNP_PAGE_TYPE_SECRETS = 5
KVM_SEV_SNP_PAGE_TYPE_UNMEASURED = 4
KVM_SEV_SNP_PAGE_TYPE_ZERO = 3
KVM_SMI = 44727
KVM_SREGS2_FLAGS_PDPTRS_VALID = 1
KVM_STATE_NESTED_EVMCS = 4
KVM_STATE_NESTED_GIF_SET = 256
KVM_STATE_NESTED_GUEST_MODE = 1
KVM_STATE_NESTED_MTF_PENDING = 8
KVM_STATE_NESTED_RUN_PENDING = 2
KVM_STATE_NESTED_SMM_GUEST_MODE = 1
KVM_STATE_NESTED_SMM_VMXON = 2
KVM_STATE_NESTED_SVM_VMCB_SIZE = 4096
KVM_STATE_NESTED_VMX_VMCS_SIZE = 4096
KVM_STATE_VMX_PREEMPTION_TIMER_DEADLINE = 1
KVM_TPR_ACCESS_REPORTING = 3223891602
KVM_TRANSLATE = 3222843013
KVM_X2APIC_API_DISABLE_BROADCAST_QUIRK = 2
KVM_X2APIC_API_USE_32BIT_IDS = 1
KVM_X86_DEFAULT_VM_BIT = 1
KVM_X86_DISABLE_EXITS_CSTATE = 8
KVM_X86_DISABLE_EXITS_HLT = 2
KVM_X86_DISABLE_EXITS_MWAIT = 1
KVM_X86_DISABLE_EXITS_PAUSE = 4
KVM_X86_GET_MCE_CAP_SUPPORTED = 2148052637
KVM_X86_QUIRK_CD_NW_CLEARED = 2
KVM_X86_QUIRK_FIX_HYPERCALL_INSN = 32
KVM_X86_QUIRK_LAPIC_MMIO_HOLE = 4
KVM_X86_QUIRK_LINT0_REENABLED = 1
KVM_X86_QUIRK_MISC_ENABLE_NO_MWAIT = 16
KVM_X86_QUIRK_MWAIT_NEVER_UD_FAULTS = 64
KVM_X86_QUIRK_OUT_7E_INC_RIP = 8
KVM_X86_SETUP_MCE = 1074310812
KVM_X86_SET_MCE = 1077980830
KVM_X86_SET_MSR_FILTER = 386:1090825926, amd64:1099476678
KVM_X86_SEV_ES_VM_BIT = 8
KVM_X86_SEV_VM_BIT = 4
KVM_X86_SW_PROTECTED_VM_BIT = 2
KVM_XEN_HVM_CONFIG = 1077456506
KVM_XEN_HVM_CONFIG_EVTCHN_2LEVEL = 16
KVM_XEN_HVM_CONFIG_EVTCHN_SEND = 32
KVM_XEN_HVM_CONFIG_HYPERCALL_MSR = 1
KVM_XEN_HVM_CONFIG_INTERCEPT_HCALL = 2
KVM_XEN_HVM_CONFIG_PVCLOCK_TSC_UNSTABLE = 128
KVM_XEN_HVM_CONFIG_RUNSTATE = 8
KVM_XEN_HVM_CONFIG_RUNSTATE_UPDATE_FLAG = 64
KVM_XEN_HVM_CONFIG_SHARED_INFO = 4
MCG_STATUS_EIPV = 2
MCG_STATUS_LMCES = 8
MCG_STATUS_MCIP = 4
MCG_STATUS_RIPV = 1
MCI_STATUS_ADDRV = 288230376151711744
MCI_STATUS_AR = 36028797018963968
MCI_STATUS_EN = 1152921504606846976
MCI_STATUS_MISCV = 576460752303423488
MCI_STATUS_OVER = 4611686018427387904
MCI_STATUS_PCC = 144115188075855872
MCI_STATUS_S = 72057594037927936
MCI_STATUS_UC = 2305843009213693952
MCI_STATUS_VAL = 9223372036854775808
__NR_ioctl = 386:54, amd64:16
__NR_openat = 386:295, amd64:257