VMMCP: initialization
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 11 Mar 2015 16:28:39 +0000 (12:28 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 17 Mar 2015 14:55:59 +0000 (10:55 -0400)
commitfba38b0c610623afff62b2f44cc45a3c49621e71
treebbb541655526eaddf3785d5f98d786d34b729df0
parent98510e09d3799446fac773390046d45f937ac80f
VMMCP: initialization

vmm_init() happens before smp boot, and the per-cpu bits are done in
pcpu init.

(git-fu'd)
kern/arch/x86/init.c
kern/arch/x86/smp_boot.c
kern/include/smp.h