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))) {