Sign in
qemu
/
qemu
/
54b27921026df384f67df86f04c39539df375c60
/
.
/
tests
/
tcg
/
x86_64
/
vsyscall.c
blob: 786b047053aa0587b5f0ce1bc0454d8efb6ea090 [
file
] [
log
] [
blame
]
#include
<stdio.h>
#include
<time.h>
#define
VSYSCALL_PAGE
0xffffffffff600000
#define
TIME_OFFSET
0x400
typedef
time_t
(*
time_func
)(
time_t
*);
int
main
(
void
)
{
printf
(
"%ld\n"
,
((
time_func
)(
VSYSCALL_PAGE
+
TIME_OFFSET
))(
NULL
));
return
0
;
}