Symbol: vmx_msr_guest_init
sys/amd64/vmm/intel/vmx.c
1162
vmx_msr_guest_init(vmx, vcpu);
sys/amd64/vmm/intel/vmx_msr.h
35
void vmx_msr_guest_init(struct vmx *vmx, struct vmx_vcpu *vcpu);