tools/syz-check: also check arm/arm64

They mostly duplicate the warnings we already have for amd64/386.
But uncovered few very interesting local things (e.g. epoll_event
is packed only on amd64, so arm/arm64 layout is wrong, but 386
is correct because int64 alignment is different).

Update #590

1 files changed, 93 insertions, 25 deletions

diff --git a/sys/linux/dev_kvm.txt.warn b/sys/linux/dev_kvm.txt.warn
index 22836c891..4a547a7a4 100644
--- a/sys/linux/dev_kvm.txt.warn
+++ b/sys/linux/dev_kvm.txt.warn
@@ -1,4 +1,28 @@
-compiler: unsupported syscall: ioctl$KVM_ARM_VCPU_INIT due to missing const KVM_ARM_VCPU_INIT
+compiler: unsupported syscall: ioctl$KVM_GET_MSR_INDEX_LIST due to missing const KVM_GET_MSR_INDEX_LIST [arm,arm64]
+compiler: unsupported syscall: ioctl$KVM_GET_SUPPORTED_CPUID due to missing const KVM_GET_SUPPORTED_CPUID [arm,arm64]
+compiler: unsupported syscall: ioctl$KVM_GET_EMULATED_CPUID due to missing const KVM_GET_EMULATED_CPUID [arm,arm64]
+compiler: unsupported syscall: ioctl$KVM_XEN_HVM_CONFIG due to missing const KVM_XEN_HVM_CONFIG [arm,arm64]
+compiler: unsupported syscall: ioctl$KVM_GET_PIT due to missing const KVM_GET_PIT [arm,arm64]
+compiler: unsupported syscall: ioctl$KVM_SET_PIT due to missing const KVM_SET_PIT [arm,arm64]
+compiler: unsupported syscall: ioctl$KVM_GET_PIT2 due to missing const KVM_GET_PIT2 [arm,arm64]
+compiler: unsupported syscall: ioctl$KVM_SET_PIT2 due to missing const KVM_SET_PIT2 [arm,arm64]
+compiler: unsupported syscall: ioctl$KVM_GET_MSRS due to missing const KVM_GET_MSRS [arm,arm64]
+compiler: unsupported syscall: ioctl$KVM_SET_MSRS due to missing const KVM_SET_MSRS [arm,arm64]
+compiler: unsupported syscall: ioctl$KVM_SET_CPUID due to missing const KVM_SET_CPUID [arm,arm64]
+compiler: unsupported syscall: ioctl$KVM_GET_CPUID2 due to missing const KVM_GET_CPUID2 [arm,arm64]
+compiler: unsupported syscall: ioctl$KVM_SET_CPUID2 due to missing const KVM_SET_CPUID2 [arm,arm64]
+compiler: unsupported syscall: ioctl$KVM_GET_DEBUGREGS due to missing const KVM_GET_DEBUGREGS [arm,arm64]
+compiler: unsupported syscall: ioctl$KVM_SET_DEBUGREGS due to missing const KVM_SET_DEBUGREGS [arm,arm64]
+compiler: unsupported syscall: ioctl$KVM_GET_XSAVE due to missing const KVM_GET_XSAVE [arm,arm64]
+compiler: unsupported syscall: ioctl$KVM_SET_XSAVE due to missing const KVM_SET_XSAVE [arm,arm64]
+compiler: unsupported syscall: ioctl$KVM_GET_XCRS due to missing const KVM_GET_XCRS [arm,arm64]
+compiler: unsupported syscall: ioctl$KVM_SET_XCRS due to missing const KVM_SET_XCRS [arm,arm64]
+compiler: unsupported syscall: ioctl$KVM_GET_LAPIC due to missing const KVM_GET_LAPIC [arm,arm64]
+compiler: unsupported syscall: ioctl$KVM_SET_LAPIC due to missing const KVM_SET_LAPIC [arm,arm64]
+compiler: unsupported syscall: ioctl$KVM_X86_SET_MCE due to missing const KVM_X86_SET_MCE [arm,arm64]
+compiler: unsupported syscall: ioctl$KVM_ARM_VCPU_INIT due to missing const KVM_ARM_VCPU_INIT [386,amd64]
+compiler: unsupported syscall: ioctl$KVM_GET_NESTED_STATE due to missing const KVM_GET_NESTED_STATE [arm,arm64]
+compiler: unsupported syscall: ioctl$KVM_SET_NESTED_STATE due to missing const KVM_SET_NESTED_STATE [arm,arm64]
 no-such-struct: kvm_text_x86
 no-such-struct: kvm_text_x86_real
 no-such-struct: kvm_text_x86_16
@@ -17,40 +41,84 @@ no-such-struct: kvm_setup_opt_dstype3
 no-such-struct: kvm_setup_opt_vmwrite
 no-such-struct: kvm_setup_opt_arm64
 no-such-struct: kvm_setup_opt_feature
-no-such-struct: kvm_arm_device_addr
+no-such-struct: kvm_guest_debug [arm]
+bad-struct-size: kvm_guest_debug: syz=72 kernel=520 [arm64]
+bad-field-size: kvm_guest_debug.reg/arch: syz=64 kernel=512 [arm64]
+no-such-struct: kvm_arm_device_addr [386,amd64,arm]
+no-such-struct: kvm_device_attr [arm]
+no-such-struct: kvm_create_device [arm]
 no-such-struct: kvm_s390_interrupt
-no-such-struct: kvm_one_reg
+no-such-struct: kvm_irqfd [arm]
+no-such-struct: kvm_pit_config [arm,arm64]
+no-such-struct: kvm_msi [arm]
+no-such-struct: kvm_one_reg [386,amd64,arm]
 no-such-struct: kvm_s390_ucas_mapping
 no-such-struct: kvm_dirty_tlb
+no-such-struct: kvm_ioeventfd [arm]
 no-such-struct: kvm_assigned_msix_entry
 no-such-struct: kvm_assigned_msix_nr
+no-such-struct: kvm_irq_routing_entry [arm]
 no-such-struct: kvm_irq_routing_entry_u
+no-such-struct: kvm_irq_routing_irqchip [arm]
+no-such-struct: kvm_irq_routing_msi [arm]
+no-such-struct: kvm_irq_routing_s390_adapter [arm]
+no-such-struct: kvm_irq_routing_hv_sint [arm]
 no-such-struct: kvm_assigned_irq
 no-such-struct: kvm_assigned_pci_dev
 no-such-struct: kvm_enable_cap_cpu
 no-such-struct: kvm_enable_cap_vm
-bad-field-number: kvm_vcpu_events: syz=22 kernel=9
-bad-field-size: kvm_vcpu_events.exinjec/exception: syz=1 kernel=8
-bad-field-size: kvm_vcpu_events.exnr/interrupt: syz=1 kernel=4
-bad-field-offset: kvm_vcpu_events.exnr/interrupt: syz=1 kernel=8
-bad-field-size: kvm_vcpu_events.exhec/nmi: syz=1 kernel=4
-bad-field-offset: kvm_vcpu_events.exhec/nmi: syz=2 kernel=12
-bad-field-size: kvm_vcpu_events.pad1/sipi_vector: syz=1 kernel=4
-bad-field-offset: kvm_vcpu_events.pad1/sipi_vector: syz=3 kernel=16
-bad-field-offset: kvm_vcpu_events.exec/flags: syz=4 kernel=20
-bad-field-size: kvm_vcpu_events.ininjec/smi: syz=1 kernel=4
-bad-field-offset: kvm_vcpu_events.ininjec/smi: syz=8 kernel=24
-bad-field-size: kvm_vcpu_events.innr/reserved: syz=1 kernel=27
-bad-field-offset: kvm_vcpu_events.innr/reserved: syz=9 kernel=28
-bad-field-offset: kvm_vcpu_events.insoft/exception_has_payload: syz=10 kernel=55
-bad-field-size: kvm_vcpu_events.inshad/exception_payload: syz=1 kernel=8
-bad-field-offset: kvm_vcpu_events.inshad/exception_payload: syz=11 kernel=56
-bad-field-number: kvm_regs: syz=3 kernel=18
-bad-field-size: kvm_regs.gp/rax: syz=128 kernel=8
-bad-field-offset: kvm_regs.rip/rbx: syz=128 kernel=8
-bad-field-offset: kvm_regs.rflags/rcx: syz=136 kernel=16
+no-such-struct: kvm_userspace_memory_region [arm]
+no-such-struct: kvm_vcpu_events [arm]
+bad-field-number: kvm_vcpu_events: syz=22 kernel=2 [arm64]
+bad-field-number: kvm_vcpu_events: syz=22 kernel=9 [386,amd64]
+bad-field-size: kvm_vcpu_events.exinjec/exception: syz=1 kernel=16 [arm64]
+bad-field-size: kvm_vcpu_events.exinjec/exception: syz=1 kernel=8 [386,amd64]
+bad-field-size: kvm_vcpu_events.exnr/interrupt: syz=1 kernel=4 [386,amd64]
+bad-field-offset: kvm_vcpu_events.exnr/interrupt: syz=1 kernel=8 [386,amd64]
+bad-field-offset: kvm_vcpu_events.exnr/reserved: syz=1 kernel=16 [arm64]
+bad-field-size: kvm_vcpu_events.exnr/reserved: syz=1 kernel=48 [arm64]
+bad-field-size: kvm_vcpu_events.exhec/nmi: syz=1 kernel=4 [386,amd64]
+bad-field-offset: kvm_vcpu_events.exhec/nmi: syz=2 kernel=12 [386,amd64]
+bad-field-size: kvm_vcpu_events.pad1/sipi_vector: syz=1 kernel=4 [386,amd64]
+bad-field-offset: kvm_vcpu_events.pad1/sipi_vector: syz=3 kernel=16 [386,amd64]
+bad-field-offset: kvm_vcpu_events.exec/flags: syz=4 kernel=20 [386,amd64]
+bad-field-size: kvm_vcpu_events.ininjec/smi: syz=1 kernel=4 [386,amd64]
+bad-field-offset: kvm_vcpu_events.ininjec/smi: syz=8 kernel=24 [386,amd64]
+bad-field-size: kvm_vcpu_events.innr/reserved: syz=1 kernel=27 [386,amd64]
+bad-field-offset: kvm_vcpu_events.innr/reserved: syz=9 kernel=28 [386,amd64]
+bad-field-offset: kvm_vcpu_events.insoft/exception_has_payload: syz=10 kernel=55 [386,amd64]
+bad-field-size: kvm_vcpu_events.inshad/exception_payload: syz=1 kernel=8 [386,amd64]
+bad-field-offset: kvm_vcpu_events.inshad/exception_payload: syz=11 kernel=56 [386,amd64]
+no-such-struct: kvm_clock_data [arm,arm64]
+no-such-struct: kvm_irq_level [arm]
+no-such-struct: kvm_translation [arm]
+no-such-struct: kvm_dirty_log [arm]
+no-such-struct: kvm_regs [arm]
+bad-struct-size: kvm_regs: syz=144 kernel=864 [arm64]
+bad-field-number: kvm_regs: syz=3 kernel=18 [386,amd64]
+bad-field-number: kvm_regs: syz=3 kernel=5 [arm64]
+bad-field-size: kvm_regs.gp/rax: syz=128 kernel=8 [386,amd64]
+bad-field-size: kvm_regs.gp/regs: syz=128 kernel=272 [arm64]
+bad-field-offset: kvm_regs.rip/rbx: syz=128 kernel=8 [386,amd64]
+bad-field-offset: kvm_regs.rip/sp_el1: syz=128 kernel=272 [arm64]
+bad-field-offset: kvm_regs.rflags/elr_el1: syz=136 kernel=280 [arm64]
+bad-field-offset: kvm_regs.rflags/rcx: syz=136 kernel=16 [386,amd64]
+no-such-struct: kvm_sregs [arm,arm64]
+no-such-struct: kvm_segment [arm,arm64]
+no-such-struct: kvm_dtable [arm,arm64]
+no-such-struct: kvm_fpu [arm,arm64]
+no-such-struct: kvm_irqchip [arm,arm64]
 no-such-struct: kvm_irq_chip
+no-such-struct: kvm_pic_state [arm,arm64]
+no-such-struct: kvm_ioapic_state [arm,arm64]
 no-such-struct: kvm_ioapic_redir
+no-such-struct: kvm_tpr_access_ctl [arm,arm64]
 no-such-struct: kvm_mce_cap
-no-such-struct: kvm_nested_state_arg
-no-such-struct: kvm_vmx_nested_state
+no-such-struct: kvm_reinject_control [arm,arm64]
+no-such-struct: kvm_coalesced_mmio_zone [arm]
+no-such-struct: kvm_vcpu_init [arm]
+bad-field-number: kvm_vcpu_init: syz=3 kernel=2 [arm64]
+bad-field-size: kvm_vcpu_init.feature/features: syz=4 kernel=28 [arm64]
+no-such-struct: kvm_hyperv_eventfd [arm,arm64]
+no-such-struct: kvm_nested_state_arg [386,amd64]
+no-such-struct: kvm_vmx_nested_state [386,amd64]