s390_check_registers 297 arch/s390/kernel/nmi.c NOKPROBE_SYMBOL(s390_check_registers); s390_check_registers 396 arch/s390/kernel/nmi.c if (s390_check_registers(mci, user_mode(regs))) {