[POWERPC] Use PAGE_OFFSET to tell if an address is user/kernel in SW TLB handlers
[linux-2.6.git] / arch / x86_64 / vdso / vextern.h
1 #ifndef VEXTERN
2 #include <asm/vsyscall.h>
3 #define VEXTERN(x) \
4         extern typeof(x) *vdso_ ## x __attribute__((visibility("hidden")));
5 #endif
6
7 #define VMAGIC 0xfeedbabeabcdefabUL
8
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.   */
13
14 VEXTERN(jiffies)
15 VEXTERN(vgetcpu_mode)
16 VEXTERN(vsyscall_gtod_data)