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 main(void)8 int main(void) 9 { 10 printf("%ld\n", ((time_func)(VSYSCALL_PAGE + TIME_OFFSET))(NULL)); 11 return 0; 12 } 13