vmm_decode_perf_ctl_value - OpenBSD

Symbol: vmm_decode_perf_ctl_value

sys/arch/amd64/amd64/vmm_machdep.c

void vmm_decode_perf_ctl_value(uint64_t);

sys/arch/amd64/amd64/vmm_machdep.c

case MSR_PERF_CTL: vmm_decode_perf_ctl_value(val); break;