IBS_OP_CTL
*v = IBS_OP_CTL_TO_COUNT(rdmsr(IBS_OP_CTL));
m = rdmsr(IBS_OP_CTL) & ~IBS_OP_CTL_CURCNTMASK;
wrmsr(IBS_OP_CTL, m);
wrmsr(IBS_OP_CTL, 0);
wrmsr(IBS_OP_CTL, config);
wrmsr(IBS_OP_CTL, config & ~IBS_OP_CTL_ENABLE);
wrmsr(IBS_OP_CTL,
wrmsr(IBS_OP_CTL, config);
wrmsr(IBS_OP_CTL, 0);
wrmsr(IBS_OP_CTL, pm->pm_md.pm_ibs.ibs_ctl | IBS_OP_CTL_ENABLE);
config = rdmsr(IBS_OP_CTL);
wrmsr(IBS_OP_CTL, 0);