Searched refs:vmxoncpu (Results 1 – 1 of 1) sorted by relevance
628 struct vmxoncpu { struct633 static struct vmxoncpu vmxoncpu[OS_MAXCPUS]; argument3502 vmx_vmxon(&vmxoncpu[os_curcpu_number()].pa); in OS_IPI_FUNC()3589 memset(vmxoncpu, 0, sizeof(vmxoncpu)); in vmx_init()3597 vmxoncpu[os_cpu_number(cpu)].pa = pa; in vmx_init()3598 vmxoncpu[os_cpu_number(cpu)].va = va; in vmx_init()3600 vmxon = (struct vmxon *)vmxoncpu[os_cpu_number(cpu)].va; in vmx_init()3626 if (vmxoncpu[i].pa != 0) in vmx_fini()3627 os_contigpa_free(vmxoncpu[i].pa, vmxoncpu[i].va, 1); in vmx_fini()