UCF_CTRL
wrmsr(UCF_CTRL, 0);
wrmsr(UCF_CTRL, ucfc->pc_ucfctrl);
ucfc->pc_ucfctrl, (uint32_t) rdmsr(UCF_CTRL),
wrmsr(UCF_CTRL, ucfc->pc_ucfctrl);
ucfc->pc_ucfctrl, (uint32_t) rdmsr(UCF_CTRL),
wrmsr(UCF_CTRL, 0); /* Turn off fixed counters */
wrmsr(UCF_CTRL, cc->pc_ucfctrl);
cpu, ri, v, (uintmax_t) rdmsr(UCF_CTRL));