CXL_PMU_COUNTER_REG
writeq(0, base + CXL_PMU_COUNTER_REG(hwc->idx));
return readq(base + CXL_PMU_COUNTER_REG(event->hw.idx));