Symbol: KVM_S390_GET_IRQ_STATE