xref: /openbmc/qemu/tests/tcg/x86_64/vsyscall.c (revision 7d87775f)
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 }
13