CXL_PMU_COUNTER_CFG_REG
val = readq(base + CXL_PMU_COUNTER_CFG_REG(i));
cfg = readq(base + CXL_PMU_COUNTER_CFG_REG(hwc->idx));
writeq(cfg, base + CXL_PMU_COUNTER_CFG_REG(hwc->idx));
cfg = readq(base + CXL_PMU_COUNTER_CFG_REG(hwc->idx));
writeq(cfg, base + CXL_PMU_COUNTER_CFG_REG(hwc->idx));