x86: corrects vsyscall address for gettimeofday
authorMichael Levenhagen <mjleven@sandia.gov>
Tue, 23 Apr 2013 20:21:32 +0000 (15:21 -0500)
committerMichael Levenhagen <mjleven@sandia.gov>
Tue, 23 Apr 2013 20:21:32 +0000 (15:21 -0500)
commit223f89a162ace3266998482288e6d0d8cbcc2be1
treeaa4bb1db1c90c46b2fcd0d80f1d0f38fd668e32a
parent794d00257add206cd5fdbcc1f106fbba23079a38
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>
src/arch/x86/process.cc