usr/src/uts/intel/io/vmm/intel/vmcs.h

66

void vmcs_clear(uintptr_t vmcs_pa);

usr/src/uts/intel/io/vmm/intel/vmx.c

2964

vmcs_clear(vmcs_pa);

usr/src/uts/intel/io/vmm/intel/vmx.c

3030

vmcs_clear(vmx->vmcs_pa[vcpu]);

usr/src/uts/intel/io/vmm/intel/vmx.c

3458

vmcs_clear(vmx->vmcs_pa[vcpu]);

usr/src/uts/intel/io/vmm/intel/vmx.c

3631

vmcs_clear(vmx->vmcs_pa[vcpuid]);

usr/src/uts/intel/io/vmm/intel/vmx.c

3654

vmcs_clear(vmx->vmcs_pa[vcpuid]);

usr/src/uts/intel/io/vmm/intel/vmx.c

3825

vmcs_clear(vmx->vmcs_pa[vcpu]);

usr/src/uts/intel/io/vmm/intel/vmx.c

883

vmcs_clear(vmx->vmcs_pa[i]);