Symbol: kvm_s390_get_irq_state