28c28
< __FBSDID("$FreeBSD: head/sys/kern/kern_cpu.c 232793 2012-03-10 18:56:16Z mav $");
---
> __FBSDID("$FreeBSD: head/sys/kern/kern_cpu.c 264984 2014-04-26 20:27:54Z scottl $");
271c271
< if (mp_ncpus > 1 && !smp_active) {
---
> if (mp_ncpus > 1 && !smp_started) {
< __FBSDID("$FreeBSD: head/sys/kern/kern_cpu.c 232793 2012-03-10 18:56:16Z mav $");
---
> __FBSDID("$FreeBSD: head/sys/kern/kern_cpu.c 264984 2014-04-26 20:27:54Z scottl $");
271c271
< if (mp_ncpus > 1 && !smp_active) {
---
> if (mp_ncpus > 1 && !smp_started) {