Searched refs:vmcs_pa (Results 1 – 1 of 1) sorted by relevance
797 paddr_t vmcs_pa; member923 paddr_t vmcs_pa = (paddr_t)arg; in OS_IPI_FUNC() local924 vmx_vmclear(&vmcs_pa); in OS_IPI_FUNC()956 OS_ASSERT(vmx_vmptrst() == cpudata->vmcs_pa); in vmx_vmcs_enter()967 vmx_vmclear(&cpudata->vmcs_pa); in vmx_vmcs_enter()977 vmx_vmptrld(&cpudata->vmcs_pa); in vmx_vmcs_enter()986 OS_ASSERT(vmx_vmptrst() == cpudata->vmcs_pa); in vmx_vmcs_leave()1004 OS_ASSERT(vmx_vmptrst() == cpudata->vmcs_pa); in vmx_vmcs_destroy()1008 vmx_vmclear(&cpudata->vmcs_pa); in vmx_vmcs_destroy()3053 error = os_contigpa_zalloc(&cpudata->vmcs_pa, in vmx_vcpu_create()[all …]