PRCM: 34XX: Fix wrong shift value used in dpll4_m4x2_ck enable bit
[linux-ginger.git] / arch / x86 / vdso / vextern.h
blob1683ba2ae3e8d61e65e6a1a8d58c749d9f0f715e
1 #ifndef VEXTERN
2 #include <asm/vsyscall.h>
3 #define VEXTERN(x) \
4 extern typeof(x) *vdso_ ## x __attribute__((visibility("hidden")));
5 #endif
7 #define VMAGIC 0xfeedbabeabcdefabUL
9 /* Any kernel variables used in the vDSO must be exported in the main
10 kernel's vmlinux.lds.S/vsyscall.h/proper __section and
11 put into vextern.h and be referenced as a pointer with vdso prefix.
12 The main kernel later fills in the values. */
14 VEXTERN(jiffies)
15 VEXTERN(vgetcpu_mode)
16 VEXTERN(vsyscall_gtod_data)