|
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
|
} |