IBS_FETCH_CTL
wrmsr(IBS_FETCH_CTL, 0);
wrmsr(IBS_FETCH_CTL, config);
wrmsr(IBS_FETCH_CTL, config & ~IBS_FETCH_CTL_MAXCNTMASK);
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);
*v = rdmsr(IBS_FETCH_CTL);