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;