some preliminaries for vdso clock support