Symbol: vmxoncpu
src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c
3511
vmx_vmxon(&vmxoncpu[os_curcpu_number()].pa);
src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c
3599
vmxoncpu = os_mem_zalloc(sizeof(struct vmxoncpu) * haiku_smp_get_num_cpus());
src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c
3601
memset(vmxoncpu, 0, sizeof(vmxoncpu));
src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c
3610
vmxoncpu[os_cpu_number(cpu)].pa = pa;
src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c
3611
vmxoncpu[os_cpu_number(cpu)].va = va;
src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c
3613
vmxon = (struct vmxon *)vmxoncpu[os_cpu_number(cpu)].va;
src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c
3644
if (vmxoncpu[i].pa != 0)
src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c
3645
os_contigpa_free(vmxoncpu[i].pa, vmxoncpu[i].va, 1);
src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c
3651
os_mem_free(vmxoncpu, 0);
src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c
639
static struct vmxoncpu *vmxoncpu;
src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c
641
static struct vmxoncpu vmxoncpu[OS_MAXCPUS];
src/libs/nvmm/driver/x86/nvmm_x86_vmx.c
3511
vmx_vmxon(&vmxoncpu[os_curcpu_number()].pa);
src/libs/nvmm/driver/x86/nvmm_x86_vmx.c
3599
vmxoncpu = os_mem_zalloc(sizeof(struct vmxoncpu) * haiku_smp_get_num_cpus());
src/libs/nvmm/driver/x86/nvmm_x86_vmx.c
3601
memset(vmxoncpu, 0, sizeof(vmxoncpu));
src/libs/nvmm/driver/x86/nvmm_x86_vmx.c
3610
vmxoncpu[os_cpu_number(cpu)].pa = pa;
src/libs/nvmm/driver/x86/nvmm_x86_vmx.c
3611
vmxoncpu[os_cpu_number(cpu)].va = va;
src/libs/nvmm/driver/x86/nvmm_x86_vmx.c
3613
vmxon = (struct vmxon *)vmxoncpu[os_cpu_number(cpu)].va;
src/libs/nvmm/driver/x86/nvmm_x86_vmx.c
3644
if (vmxoncpu[i].pa != 0)
src/libs/nvmm/driver/x86/nvmm_x86_vmx.c
3645
os_contigpa_free(vmxoncpu[i].pa, vmxoncpu[i].va, 1);
src/libs/nvmm/driver/x86/nvmm_x86_vmx.c
3651
os_mem_free(vmxoncpu, 0);
src/libs/nvmm/driver/x86/nvmm_x86_vmx.c
639
static struct vmxoncpu *vmxoncpu;
src/libs/nvmm/driver/x86/nvmm_x86_vmx.c
641
static struct vmxoncpu vmxoncpu[OS_MAXCPUS];