Date: Fri, 28 Oct 2016 12:27:05 +0000 (UTC) From: Konstantin Belousov <kib@FreeBSD.org> To: src-committers@freebsd.org, svn-src-all@freebsd.org, svn-src-head@freebsd.org Subject: svn commit: r308030 - head/sys/x86/x86 Message-ID: <201610281227.u9SCR5d8024131@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: kib Date: Fri Oct 28 12:27:05 2016 New Revision: 308030 URL: https://svnweb.freebsd.org/changeset/base/308030 Log: Use correct cpu id in the banner. Fix style. Noted by: avg Sponsored by: The FreeBSD Foundation MFC after: 9 days Modified: head/sys/x86/x86/cpu_machdep.c Modified: head/sys/x86/x86/cpu_machdep.c ============================================================================== --- head/sys/x86/x86/cpu_machdep.c Fri Oct 28 11:53:22 2016 (r308029) +++ head/sys/x86/x86/cpu_machdep.c Fri Oct 28 12:27:05 2016 (r308030) @@ -551,7 +551,7 @@ nmi_call_kdb(u_int cpu, u_int type, stru * NMI can be hooked up to a pushbutton for debugging. */ if (kdb_on_nmi) { - printf ("NMI/cpu%d ... going to debugger\n", cpu); + printf("NMI/cpu%d ... going to debugger\n", cpu); kdb_trap(type, 0, frame); } #endif /* KDB */ @@ -572,6 +572,6 @@ nmi_handle_intr(u_int type, struct trapf return; } #endif - nmi_call_kdb(0, type, frame); + nmi_call_kdb(PCPU_GET(cpuid), type, frame); #endif }
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201610281227.u9SCR5d8024131>