Symbol: vmcs_init
sys/amd64/vmm/intel/vmcs.h
52
int vmcs_init(struct vmcs *vmcs);
sys/amd64/vmm/intel/vmx.c
1164
error = vmcs_init(vmcs);