sys/dev/nvmm/x86/nvmm_x86_vmx.c

3753

vmx_vmxon(&vmxoncpu[cpu_index(ci)].pa);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

3877

memset(vmxoncpu, 0, sizeof(vmxoncpu));

sys/dev/nvmm/x86/nvmm_x86_vmx.c

3885

vmxoncpu[cpu_index(ci)].pa = pa;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

3886

vmxoncpu[cpu_index(ci)].va = va;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

3888

vmxon = (struct vmxon *)vmxoncpu[cpu_index(ci)].va;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

3914

if (vmxoncpu[i].pa != 0)

sys/dev/nvmm/x86/nvmm_x86_vmx.c

3915

vmx_memfree(vmxoncpu[i].pa, vmxoncpu[i].va, 1);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

626

static struct vmxoncpu vmxoncpu[MAXCPUS];