kitten/include/arch-x86_64/vsyscall.h

   1 #ifndef _ASM_X86_64_VSYSCALL_H_
   2 #define _ASM_X86_64_VSYSCALL_H_
   3
   4 enum vsyscall_num {
   5         __NR_vgettimeofday,
   6         __NR_vtime,
   7         __NR_vgetcpu,
   8 };
   9
  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))
  15
  16 #ifdef __KERNEL__
  17 #include <lwk/init.h>
  18
  19 void __init vsyscall_map(void);
  20 void __init vsyscall_init(void);
  21
  22 #endif /* __KERNEL__ */
  23
  24 #endif /* _ASM_X86_64_VSYSCALL_H_ */