Go to the documentation of this file. 1 #ifndef _ASM_X86_VSYSCALL_H
2 #define _ASM_X86_VSYSCALL_H
10 #define VSYSCALL_START (-10UL << 20)
11 #define VSYSCALL_SIZE 1024
12 #define VSYSCALL_END (-2UL << 20)
13 #define VSYSCALL_MAPPED_PAGES 1
14 #define VSYSCALL_ADDR(vsyscall_nr) (VSYSCALL_START+VSYSCALL_SIZE*(vsyscall_nr))
19 #define VGETCPU_RDTSCP 1
23 extern int vgetcpu_mode;