Symbol: vmx_msr_init
sys/amd64/vmm/intel/vmx.c
986
vmx_msr_init();
sys/amd64/vmm/intel/vmx_msr.h
34
void vmx_msr_init(void);