chsc_sei          623 drivers/s390/cio/chsc.c static void chsc_process_event_information(struct chsc_sei *sei, u64 ntsm)
chsc_sei          676 drivers/s390/cio/chsc.c 	struct chsc_sei *sei = sei_page;