Symbol: s390_do_machine_check
arch/s390/include/asm/nmi.h
105
void s390_do_machine_check(struct pt_regs *regs);
arch/s390/kernel/nmi.c
500
NOKPROBE_SYMBOL(s390_do_machine_check);