Symbol: vmcs_initialize
usr/src/uts/intel/io/vmm/intel/vmcs.h
63
void vmcs_initialize(struct vmcs *vmcs, uintptr_t vmcs_pa);
usr/src/uts/intel/io/vmm/intel/vmx.c
784
vmcs_initialize(&vmx->vmcs[i], vmx->vmcs_pa[i]);