VDSO_BASE_AUX
vdso_ts = &vc->basetime[VDSO_BASE_AUX];
if (!vdso_get_timestamp(vd, vc, VDSO_BASE_AUX, &sec, &ns))