MAX_AUX_CLOCKS
TIMEKEEPER_AUX_LAST = TIMEKEEPER_AUX_FIRST + MAX_AUX_CLOCKS - 1,
#define CLOCK_AUX_LAST (CLOCK_AUX + MAX_AUX_CLOCKS - 1)
struct vdso_clock aux_clock_data[MAX_AUX_CLOCKS];
for (int i = 0; i < MAX_AUX_CLOCKS; i++) {