kernel - vmm_init() must run after SMP startup
commit3a3b0c3a894d9cc7675e5649f485dd7314ad02a6
authorMatthew Dillon <dillon@apollo.backplane.com>
Fri, 6 Jan 2017 16:35:01 +0000 (6 08:35 -0800)
committerMatthew Dillon <dillon@apollo.backplane.com>
Fri, 6 Jan 2017 20:49:39 +0000 (6 12:49 -0800)
tree2c6697049fbaa0845abc42c0160f48d513245106
parent2739afc4cdfc4e0354e5f99f69b5f3b254c9a90d
kernel - vmm_init() must run after SMP startup

* vmm_init() must run after SMP startup (fix bug introduced by recent
  commits).

* cleanup.
sys/kern/kern_objcache.c
sys/kern/subr_cpu_topology.c
sys/platform/pc64/vmm/vmm.c
sys/sys/kernel.h