IBS_FETCH_CTL
*v = IBS_FETCH_CTL_TO_COUNT(rdmsr(IBS_FETCH_CTL));
m = rdmsr(IBS_FETCH_CTL) & ~IBS_FETCH_CTL_CURCNTMASK;
wrmsr(IBS_FETCH_CTL, m);
wrmsr(IBS_FETCH_CTL, 0);
wrmsr(IBS_FETCH_CTL, config);
wrmsr(IBS_FETCH_CTL, config & ~IBS_FETCH_CTL_ENABLE);
wrmsr(IBS_FETCH_CTL,
wrmsr(IBS_FETCH_CTL, config);
wrmsr(IBS_FETCH_CTL, 0);
wrmsr(IBS_FETCH_CTL, pm->pm_md.pm_ibs.ibs_ctl | IBS_FETCH_CTL_ENABLE);
config = rdmsr(IBS_FETCH_CTL);
wrmsr(IBS_FETCH_CTL, 0);