svn commit: r308030 - head/sys/x86/x86

[Konstantin Belousov]

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
 }