vmm_decode_misc_enable_value - OpenBSD

Symbol: vmm_decode_misc_enable_value

sys/arch/amd64/amd64/vmm_machdep.c

void vmm_decode_misc_enable_value(uint64_t);

sys/arch/amd64/amd64/vmm_machdep.c

case MSR_MISC_ENABLE: vmm_decode_misc_enable_value(val); break;