linux/include/vdso/auxclock.h