Symbol: vmm_decode_ia32_fc_value
sys/arch/amd64/amd64/vmm_machdep.c
173
void vmm_decode_ia32_fc_value(uint64_t);
sys/arch/amd64/amd64/vmm_machdep.c
8779
case MSR_IA32_FEATURE_CONTROL: vmm_decode_ia32_fc_value(val); break;