Symbol: KVM_S390_SET_IRQ_STATE