STARLINK_PMU_CYCLE_COUNTER
writeq(val, starlink_pmu->pmu_base + STARLINK_PMU_CYCLE_COUNTER);
STARLINK_PMU_CYCLE_COUNTER);