vmxoncpu
vmx_vmxon(&vmxoncpu[os_curcpu_number()].pa);
memset(vmxoncpu, 0, sizeof(vmxoncpu));
vmxoncpu[os_cpu_number(cpu)].pa = pa;
vmxoncpu[os_cpu_number(cpu)].va = va;
vmxon = (struct vmxon *)vmxoncpu[os_cpu_number(cpu)].va;
if (vmxoncpu[i].pa != 0)
os_contigpa_free(vmxoncpu[i].pa, vmxoncpu[i].va, 1);
static struct vmxoncpu vmxoncpu[OS_MAXCPUS];