Home | History | Annotate | Download | only in x86

Lines Matching defs:vmcs_pa

791 	paddr_t vmcs_pa;
915 	paddr_t vmcs_pa = (paddr_t)arg1;
916 	vmx_vmclear(&vmcs_pa);
920 vmx_vmclear_remote(struct cpu_info *ci, paddr_t vmcs_pa)
930 	xc = xc_unicast(XC_HIGHPRI, vmx_vmclear_ipi, (void *)vmcs_pa, NULL, ci);
946 		KASSERT(vmx_vmptrst() == cpudata->vmcs_pa);
957 		vmx_vmclear(&cpudata->vmcs_pa);
961 		vmx_vmclear_remote(vmcs_ci, cpudata->vmcs_pa);
967 	vmx_vmptrld(&cpudata->vmcs_pa);
976 	KASSERT(vmx_vmptrst() == cpudata->vmcs_pa);
994 	KASSERT(vmx_vmptrst() == cpudata->vmcs_pa);
998 	vmx_vmclear(&cpudata->vmcs_pa);
3035 	error = vmx_memalloc(&cpudata->vmcs_pa, (vaddr_t *)&cpudata->vmcs,
3059 	if (cpudata->vmcs_pa) {
3060 		vmx_memfree(cpudata->vmcs_pa, (vaddr_t)cpudata->vmcs,
3086 	vmx_memfree(cpudata->vmcs_pa, (vaddr_t)cpudata->vmcs, VMCS_NPAGES);
3190 		vmx_vmclear_remote(vmcs_ci, cpudata->vmcs_pa);
3193 		vmx_vmclear(&cpudata->vmcs_pa);