CXL_PMU_OVERFLOW_REG
overflowed = readq(base + CXL_PMU_OVERFLOW_REG);
writeq(overflowed, base + CXL_PMU_OVERFLOW_REG);