x86: corrects vsyscall address for gettimeofday

The vsyscall address for gettimeofday is 0xffffffffff600000ul. The offset
therefore should be 0x0 instead of 0x410. This can be cross checked with
the file sysdeps/unix/sysv/linux/x86_64/gettimeofday.c in source of glibc.

Committed by: Nilay Vaish <nilay@cs.wisc.edu>
This commit is contained in:
Michael Levenhagen 2013-04-23 15:21:32 -05:00
parent 794d00257a
commit 223f89a162

View file

@ -98,7 +98,7 @@ X86_64LiveProcess::X86_64LiveProcess(LiveProcessParams *params,
vsyscallPage.base = 0xffffffffff600000ULL;
vsyscallPage.size = VMPageSize;
vsyscallPage.vtimeOffset = 0x400;
vsyscallPage.vgettimeofdayOffset = 0x410;
vsyscallPage.vgettimeofdayOffset = 0x0;
// Set up stack. On X86_64 Linux, stack goes from the top of memory
// downward, less the hole for the kernel address space plus one page