diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-02-01 20:08:32 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-02-01 20:18:51 +0100 |
| commit | e86ddaca2eac4d5b854e7e2ec4b315302ff0e13f (patch) | |
| tree | 50ed41a93458987feb750426942622d1360b4c19 /sys/linux/kvm_arm.const | |
| parent | ad2c9da9fbaeee1d362730714d0a01e895ed2e20 (diff) | |
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.
Diffstat (limited to 'sys/linux/kvm_arm.const')
| -rw-r--r-- | sys/linux/kvm_arm.const | 57 |
1 files changed, 57 insertions, 0 deletions
diff --git a/sys/linux/kvm_arm.const b/sys/linux/kvm_arm.const index 20e6f8250..c74c3285e 100644 --- a/sys/linux/kvm_arm.const +++ b/sys/linux/kvm_arm.const @@ -1,7 +1,15 @@ # AUTOGENERATED FILE AT_FDCWD = 18446744073709551516 KVM_ARM_SET_DEVICE_ADDR = 1074835115 +# 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 = 1075883694 +# KVM_ARM_VCPU_PMU_V3 is not set KVM_ARM_VCPU_POWER_OFF = 0 KVM_ARM_VCPU_PSCI_0_2 = 1 KVM_ASSIGN_DEV_IRQ = 1077980784 @@ -14,6 +22,11 @@ KVM_CAP_HYPERV_SYNIC = 123 KVM_CAP_SPLIT_IRQCHIP = 121 KVM_CAP_X2APIC_API = 129 KVM_CHECK_EXTENSION = 44547 +# 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 = 44640 @@ -39,20 +52,36 @@ KVM_DEV_TYPE_XICS = 3 KVM_DIRTY_TLB = 1074572970 KVM_ENABLE_CAP = 1080602275 KVM_GET_CLOCK = 2150674044 +# KVM_GET_CPUID2 is not set +# KVM_GET_DEBUGREGS is not set KVM_GET_DEVICE_ATTR = 1075359458 KVM_GET_DIRTY_LOG = 1074835010 +# KVM_GET_EMULATED_CPUID is not set KVM_GET_FPU = 2147528332 KVM_GET_IRQCHIP = 3255348834 +# KVM_GET_LAPIC is not set KVM_GET_MP_STATE = 2147790488 +# KVM_GET_MSRS is not set +# KVM_GET_MSR_INDEX_LIST is not set KVM_GET_NR_MMU_PAGES = 44613 KVM_GET_ONE_REG = 1074835115 +# KVM_GET_PIT is not set +# KVM_GET_PIT2 is not set KVM_GET_REGS = 2157489793 KVM_GET_REG_LIST = 3221794480 KVM_GET_SREGS = 2147528323 +# KVM_GET_SUPPORTED_CPUID is not set KVM_GET_TSC_KHZ = 44707 +# KVM_GET_VCPU_EVENTS is not set KVM_GET_VCPU_MMAP_SIZE = 44548 +# 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 is not set +# KVM_GUESTDBG_USE_SW_BP is not set KVM_HAS_DEVICE_ATTR = 1075359459 KVM_INTERRUPT = 1074048646 KVM_IOEVENTFD = 1077980793 @@ -60,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 = 1075883638 KVM_IRQ_LINE = 1074310753 KVM_IRQ_LINE_STATUS = 3221794407 @@ -99,15 +131,22 @@ KVM_SETUP_VIRT86 = 16 KVM_SETUP_VM = 64 KVM_SET_BOOT_CPU_ID = 44664 KVM_SET_CLOCK = 1076932219 +# KVM_SET_CPUID is not set +# KVM_SET_CPUID2 is not set +# KVM_SET_DEBUGREGS is not set KVM_SET_DEVICE_ATTR = 1075359457 KVM_SET_FPU = 1073786509 KVM_SET_GSI_ROUTING = 1074310762 KVM_SET_GUEST_DEBUG = 1074310811 KVM_SET_IDENTITY_MAP_ADDR = 1074310728 KVM_SET_IRQCHIP = 2181607011 +# KVM_SET_LAPIC is not set KVM_SET_MP_STATE = 1074048665 +# KVM_SET_MSRS is not set KVM_SET_NR_MMU_PAGES = 44612 KVM_SET_ONE_REG = 1074835116 +# KVM_SET_PIT is not set +# KVM_SET_PIT2 is not set KVM_SET_REGS = 1083747970 KVM_SET_SIGNAL_MASK = 1074048651 KVM_SET_SREGS = 1073786500 @@ -115,6 +154,9 @@ KVM_SET_TSC_KHZ = 44706 KVM_SET_TSS_ADDR = 44615 KVM_SET_USER_MEMORY_REGION = 1075883590 KVM_SET_VAPIC_ADDR = 1074310803 +# KVM_SET_VCPU_EVENTS is not set +# KVM_SET_XCRS is not set +# KVM_SET_XSAVE is not set KVM_SIGNAL_MSI = 1075883685 KVM_SMI = 44727 KVM_TPR_ACCESS_REPORTING = 3223891602 @@ -122,5 +164,20 @@ KVM_TRANSLATE = 3222843013 KVM_UNREGISTER_COALESCED_MMIO = 1074835048 KVM_X86_GET_MCE_CAP_SUPPORTED = 2148052637 KVM_X86_SETUP_MCE = 1074310812 +# 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 = 322 |