sys/syz-extract: save unsupported consts to the const files

We currently print unsupported consts to console during make extract.
But this is not very useful as there are too many output now.
This also does not allow to understand what's unsupported
in newly checked-in descriptions, or what's unsupported in all current
decriptions.

Save unsupported consts to the const files instead.
This solves all of the above problems.

1 files changed, 58 insertions, 0 deletions

diff --git a/sys/linux/kvm_ppc64le.const b/sys/linux/kvm_ppc64le.const
index 4b79eeacc..a19e2ddf5 100644
--- a/sys/linux/kvm_ppc64le.const
+++ b/sys/linux/kvm_ppc64le.const
@@ -1,6 +1,17 @@
 # AUTOGENERATED FILE
 AT_FDCWD = 18446744073709551516
 KVM_ARM_SET_DEVICE_ADDR = 2148576939
+# KVM_ARM_TARGET_AEM_V8 is not set
+# KVM_ARM_TARGET_CORTEX_A53 is not set
+# KVM_ARM_TARGET_CORTEX_A57 is not set
+# KVM_ARM_TARGET_FOUNDATION_V8 is not set
+# KVM_ARM_TARGET_GENERIC_V8 is not set
+# KVM_ARM_TARGET_XGENE_POTENZA is not set
+# KVM_ARM_VCPU_EL1_32BIT is not set
+# KVM_ARM_VCPU_INIT is not set
+# KVM_ARM_VCPU_PMU_V3 is not set
+# KVM_ARM_VCPU_POWER_OFF is not set
+# KVM_ARM_VCPU_PSCI_0_2 is not set
 KVM_ASSIGN_DEV_IRQ = 2151722608
 KVM_ASSIGN_PCI_DEVICE = 1077980777
 KVM_ASSIGN_SET_INTX_MASK = 2151722660
@@ -11,6 +22,11 @@ KVM_CAP_HYPERV_SYNIC = 123
 KVM_CAP_SPLIT_IRQCHIP = 121
 KVM_CAP_X2APIC_API = 129
 KVM_CHECK_EXTENSION = 536915459
+# KVM_CPUID_FEATURES is not set
+# KVM_CPUID_FLAG_SIGNIFCANT_INDEX is not set
+# KVM_CPUID_FLAG_STATEFUL_FUNC is not set
+# KVM_CPUID_FLAG_STATE_READ_NEXT is not set
+# KVM_CPUID_SIGNATURE is not set
 KVM_CREATE_DEVICE = 3222056672
 KVM_CREATE_DEVICE_TEST = 1
 KVM_CREATE_IRQCHIP = 536915552
@@ -36,19 +52,33 @@ KVM_DEV_TYPE_XICS = 3
 KVM_DIRTY_TLB = 2148576938
 KVM_ENABLE_CAP = 2154344099
 KVM_GET_CLOCK = 1076932220
+# KVM_GET_CPUID2 is not set
+# KVM_GET_DEBUGREGS is not set
 KVM_GET_DEVICE_ATTR = 2149101282
 KVM_GET_DIRTY_LOG = 2148576834
+# KVM_GET_EMULATED_CPUID is not set
 KVM_GET_FPU = 1090563724
 KVM_GET_IRQCHIP = 3255348834
+# KVM_GET_LAPIC is not set
 KVM_GET_MP_STATE = 1074048664
+# KVM_GET_MSRS is not set
+# KVM_GET_MSR_INDEX_LIST is not set
 KVM_GET_NR_MMU_PAGES = 536915525
 KVM_GET_ONE_REG = 2148576939
+# KVM_GET_PIT is not set
+# KVM_GET_PIT2 is not set
 KVM_GET_REGS = 1099476609
 KVM_GET_REG_LIST = 3221794480
 KVM_GET_SREGS = 1154526851
+# KVM_GET_SUPPORTED_CPUID is not set
 KVM_GET_TSC_KHZ = 536915619
+# KVM_GET_VCPU_EVENTS is not set
 KVM_GET_VCPU_MMAP_SIZE = 536915460
+# KVM_GET_XCRS is not set
+# KVM_GET_XSAVE is not set
 KVM_GUESTDBG_ENABLE = 1
+# KVM_GUESTDBG_INJECT_BP is not set
+# KVM_GUESTDBG_INJECT_DB is not set
 KVM_GUESTDBG_SINGLESTEP = 2
 KVM_GUESTDBG_USE_HW_BP = 131072
 KVM_GUESTDBG_USE_SW_BP = 65536
@@ -59,6 +89,9 @@ KVM_IOEVENTFD_FLAG_DATAMATCH = 1
 KVM_IOEVENTFD_FLAG_DEASSIGN = 4
 KVM_IOEVENTFD_FLAG_PIO = 2
 KVM_IOEVENTFD_FLAG_VIRTIO_CCW_NOTIFY = 8
+# KVM_IRQCHIP_IOAPIC is not set
+# KVM_IRQCHIP_PIC_MASTER is not set
+# KVM_IRQCHIP_PIC_SLAVE is not set
 KVM_IRQFD = 2149625462
 KVM_IRQ_LINE = 2148052577
 KVM_IRQ_LINE_STATUS = 3221794407
@@ -98,15 +131,22 @@ KVM_SETUP_VIRT86 = 16
 KVM_SETUP_VM = 64
 KVM_SET_BOOT_CPU_ID = 536915576
 KVM_SET_CLOCK = 2150674043
+# KVM_SET_CPUID is not set
+# KVM_SET_CPUID2 is not set
+# KVM_SET_DEBUGREGS is not set
 KVM_SET_DEVICE_ATTR = 2149101281
 KVM_SET_FPU = 2164305549
 KVM_SET_GSI_ROUTING = 2148052586
 KVM_SET_GUEST_DEBUG = 2164829851
 KVM_SET_IDENTITY_MAP_ADDR = 2148052552
 KVM_SET_IRQCHIP = 1107865187
+# KVM_SET_LAPIC is not set
 KVM_SET_MP_STATE = 2147790489
+# KVM_SET_MSRS is not set
 KVM_SET_NR_MMU_PAGES = 536915524
 KVM_SET_ONE_REG = 2148576940
+# KVM_SET_PIT is not set
+# KVM_SET_PIT2 is not set
 KVM_SET_REGS = 2173218434
 KVM_SET_SIGNAL_MASK = 2147790475
 KVM_SET_SREGS = 2228268676
@@ -114,6 +154,9 @@ KVM_SET_TSC_KHZ = 536915618
 KVM_SET_TSS_ADDR = 536915527
 KVM_SET_USER_MEMORY_REGION = 2149625414
 KVM_SET_VAPIC_ADDR = 2148052627
+# KVM_SET_VCPU_EVENTS is not set
+# KVM_SET_XCRS is not set
+# KVM_SET_XSAVE is not set
 KVM_SIGNAL_MSI = 2149625509
 KVM_SMI = 536915639
 KVM_TPR_ACCESS_REPORTING = 3223891602
@@ -121,5 +164,20 @@ KVM_TRANSLATE = 3222843013
 KVM_UNREGISTER_COALESCED_MMIO = 2148576872
 KVM_X86_GET_MCE_CAP_SUPPORTED = 1074310813
 KVM_X86_SETUP_MCE = 2148052636
+# KVM_X86_SET_MCE is not set
+# KVM_XEN_HVM_CONFIG is not set
+# MCG_STATUS_EIPV is not set
+# MCG_STATUS_LMCES is not set
+# MCG_STATUS_MCIP is not set
+# MCG_STATUS_RIPV is not set
+# MCI_STATUS_ADDRV is not set
+# MCI_STATUS_AR is not set
+# MCI_STATUS_EN is not set
+# MCI_STATUS_MISCV is not set
+# MCI_STATUS_OVER is not set
+# MCI_STATUS_PCC is not set
+# MCI_STATUS_S is not set
+# MCI_STATUS_UC is not set
+# MCI_STATUS_VAL is not set
 __NR_ioctl = 54
 __NR_openat = 286