VMM: Clean up VMX setup
authorBarret Rhoden <brho@cs.berkeley.edu>
Tue, 2 Feb 2016 17:25:02 +0000 (12:25 -0500)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 2 Feb 2016 22:43:52 +0000 (17:43 -0500)
commit35c39ec7c3377ba654509dc93b1592168e4aedcb
tree4972d158a67ebb5d98475f49ab6bebf19e8f9330
parent450ef489490b30b3cb82991e0d0e134b6133d98b
VMM: Clean up VMX setup

The pcpui->vmxarea was only used to pass the vmx buffer from setup() to
enable().

We can just merge those two functions and put their guts into
intel_vmm_pcpu_init().

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/arch/x86/vmm/intel/vmx.c
kern/include/smp.h