Symbol: chsc_sei
drivers/s390/cio/chsc.c
685
static void chsc_process_event_information(struct chsc_sei *sei, u64 ntsm)
drivers/s390/cio/chsc.c
738
struct chsc_sei *sei = sei_page;