HomeSort by: relevance | last modified time | path
    Searched defs:vmcs_pa (Results 1 - 2 of 2) sorted by relevancy

  /src/sys/dev/nvmm/x86/
nvmm_x86_vmx.c 791 paddr_t vmcs_pa; member in struct:vmx_cpudata
915 paddr_t vmcs_pa = (paddr_t)arg1; local in function:vmx_vmclear_ipi
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);
    [all...]
nvmm_x86_vmx.c 791 paddr_t vmcs_pa; member in struct:vmx_cpudata
915 paddr_t vmcs_pa = (paddr_t)arg1; local in function:vmx_vmclear_ipi
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);
    [all...]

Completed in 25 milliseconds