d/freebsd-skq
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Use correct cpu id in the banner. Fix style.

Browse Source 
Noted by:	avg
Sponsored by:	The FreeBSD Foundation
MFC after:	9 days
This commit is contained in:
Konstantin Belousov 2016-10-28 12:27:05 +00:00
parent d3e4d71f1d
commit 1d6dfd1230
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
sys/x86/x86/cpu_machdep.c
View File

@ -551,7 +551,7 @@ nmi_call_kdb(u_int cpu, u_int type, struct trapframe *frame)
* 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 trapframe *frame)
return;
}
#endif
nmi_call_kdb(0, type, frame);
nmi_call_kdb(PCPU_GET(cpuid), type, frame);
#endif
}