tests/tcg/x86_64/vsyscall.c

   1 #include <stdio.h>
   2 #include <time.h>
   3
   4 #define VSYSCALL_PAGE 0xffffffffff600000
   5 #define TIME_OFFSET 0x400
   6 typedef time_t (*time_func)(time_t *);
   7
   8 int main(void)
   9 {
  10     printf("%ld\n", ((time_func)(VSYSCALL_PAGE + TIME_OFFSET))(NULL));
  11     return 0;
  12 }