LOCAL_IRQS
(KVM_MAX_VCPUS + LOCAL_IRQS))
struct kvm_s390_irq buf[ARBITRARY_NON_ZERO_VCPU_ID + LOCAL_IRQS];