#ifndef _ASM_X86_64_VSYSCALL_H_
  #define _ASM_X86_64_VSYSCALL_H_

  enum vsyscall_num {
  	__NR_vgettimeofday,
  	__NR_vtime,

  	__NR_vgetcpu,

  };
  
  #define VSYSCALL_START (-10UL << 20)
  #define VSYSCALL_SIZE 1024
  #define VSYSCALL_END (-2UL << 20)

  #define VSYSCALL_MAPPED_PAGES 1

  #define VSYSCALL_ADDR(vsyscall_nr) (VSYSCALL_START+VSYSCALL_SIZE*(vsyscall_nr))
  
  #ifdef __KERNEL__

  #include <linux/seqlock.h>

  #define __section_vgetcpu_mode __attribute__ ((unused, __section__ (".vgetcpu_mode"), aligned(16)))

  #define __section_jiffies __attribute__ ((unused, __section__ (".jiffies"), aligned(16)))

  /* Definitions for CONFIG_GENERIC_TIME definitions */
  #define __section_vsyscall_gtod_data __attribute__ \
  	((unused, __section__ (".vsyscall_gtod_data"),aligned(16)))

  #define __section_vsyscall_clock __attribute__ \
  	((unused, __section__ (".vsyscall_clock"),aligned(16)))

  #define __vsyscall_fn __attribute__ ((unused,__section__(".vsyscall_fn")))

  #define VGETCPU_RDTSCP	1
  #define VGETCPU_LSL	2

  #define hpet_readl(a)           readl((const void __iomem *)fix_to_virt(FIX_HPET_BASE) + a)
  #define hpet_writel(d,a)        writel(d, (void __iomem *)fix_to_virt(FIX_HPET_BASE) + a)

  extern int __vgetcpu_mode;

  extern volatile unsigned long __jiffies;

  
  /* kernel space (writeable) */

  extern int vgetcpu_mode;

  extern struct timezone sys_tz;

  
  #endif /* __KERNEL__ */
  
  #endif /* _ASM_X86_64_VSYSCALL_H_ */