1 files changed, 159 insertions, 0 deletions
diff --git a/sys/linux/dev_kvm_amd64.txt.const b/sys/linux/dev_kvm_amd64.txt.const
new file mode 100644
index 000000000..8a20799d7
--- /dev/null
+++ b/sys/linux/dev_kvm_amd64.txt.const
@@ -0,0 +1,159 @@
+# Code generated by syz-sysgen. DO NOT EDIT.
+arches = 386, amd64
+AT_FDCWD = 18446744073709551516
+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_INDEX_LIST = 3221532162
+KVM_GET_NESTED_STATE = 3229658814
+KVM_GET_NR_MMU_PAGES = 44613
+KVM_GET_PIT = 3225988709
+KVM_GET_PIT2 = 2154868383
+KVM_GET_SUPPORTED_CPUID = 3221794309
+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_MEMORY_ATTRIBUTE_PRIVATE = 8
+KVM_MSR_EXIT_REASON_FILTER = 4
+KVM_MSR_EXIT_REASON_INVAL = 1
+KVM_MSR_EXIT_REASON_UNKNOWN = 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_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_TSC_KHZ = 44706
+KVM_SET_TSS_ADDR = 44615
+KVM_SET_VAPIC_ADDR = 1074310803
+KVM_SET_XCRS = 1099476647
+KVM_SET_XSAVE = 1342221989
+KVM_SMI = 44727
+KVM_STATE_NESTED_GUEST_MODE = 1
+KVM_STATE_NESTED_RUN_PENDING = 2
+KVM_STATE_NESTED_SMM_GUEST_MODE = 1
+KVM_STATE_NESTED_SMM_VMXON = 2
+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_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
+VMCS12_SIZE = ???
+__NR_ioctl = 386:54, amd64:16
+__NR_openat = 386:295, amd64:257