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

65

void vmcs_load(uintptr_t vmcs_pa);

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

2772

vmcs_load(vmcs_pa);

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

3013

vmcs_load(vmx->vmcs_pa[vcpu]);

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

3456

vmcs_load(vmx->vmcs_pa[vcpu]);

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

3629

vmcs_load(vmx->vmcs_pa[vcpuid]);

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

3652

vmcs_load(vmx->vmcs_pa[vcpuid]);

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

3846

vmcs_load(vmx->vmcs_pa[vcpu]);

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

788

vmcs_load(vmx->vmcs_pa[i]);