| Andi Kleen | 2aae950 | 2007-07-21 17:10:01 +0200 | [diff] [blame] | 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) |