linux/include/vdso/ktime.h