tc_fill_vdso_timehands32
sc->tc.tc_fill_vdso_timehands32 = hpet_vdso_timehands32;
enabled = tc_fill_vdso_timehands32(&th);
if (th->th_counter->tc_fill_vdso_timehands32 != NULL) {
enabled = th->th_counter->tc_fill_vdso_timehands32(vdso_th32,
.tc_fill_vdso_timehands32 = decr_vdso_timehands32,
timecounter_fill_vdso_timehands32_t *tc_fill_vdso_timehands32;
uint32_t tc_fill_vdso_timehands32(struct vdso_timehands32 *vdso_th32);
pvc->tc.tc_fill_vdso_timehands32 = pvclock_tc_vdso_timehands32;
.tc_fill_vdso_timehands32 = x86_tsc_vdso_timehands32,