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