Lines Matching refs:vdso
12 #include <vdso/bits.h>
13 #include <vdso/clocksource.h>
14 #include <vdso/ktime.h>
15 #include <vdso/limits.h>
16 #include <vdso/math64.h>
17 #include <vdso/processor.h>
18 #include <vdso/time.h>
19 #include <vdso/time32.h>
20 #include <vdso/time64.h>
23 #include <asm/vdso/data.h>
60 * struct vdso_data - vdso datapage representation
127 * - __arch_get_vdso_data(): to get the vdso datapage.
135 #include <asm/vdso/compat_gettimeofday.h>
137 #include <asm/vdso/gettimeofday.h>