STARLINK_PMU_NUM_COUNTERS
u32 n_events = STARLINK_PMU_NUM_COUNTERS;
return counter <= STARLINK_PMU_NUM_COUNTERS;