int_word 214 arch/s390/kvm/interrupt.c static inline u8 int_word_to_isc(u32 int_word) int_word 216 arch/s390/kvm/interrupt.c return (int_word & 0x38000000) >> 27;