Searched refs:vmcs_clear (Results 1 – 3 of 3) sorted by relevance
194 vmcs_clear(uintptr_t vmcs_pa) in vmcs_clear() function
54 void vmcs_clear(uintptr_t vmcs_pa);
890 vmcs_clear(vmx->vmcs_pa[i]); in vmx_vminit()2971 vmcs_clear(vmcs_pa); in vmx_run()3037 vmcs_clear(vmx->vmcs_pa[vcpu]); in vmx_vmcs_access_done()3465 vmcs_clear(vmx->vmcs_pa[vcpu]); in vmx_setcap()3638 vmcs_clear(vmx->vmcs_pa[vcpuid]); in vmx_enable_x2apic_mode_ts()3661 vmcs_clear(vmx->vmcs_pa[vcpuid]); in vmx_enable_x2apic_mode_vid()3832 vmcs_clear(vmx->vmcs_pa[vcpu]); in vmx_savectx()