PATCH: Add x32 gettimeofday

[Roland McGrath]

Always make the top line of every new file a descriptive comment.

Maybe there aren't other cases yet, but this too seems sufficiently
formulaic that it would be better to do it with an automatic mechanism
along the lines of syscalls.list (and probably merged with it).

syscalls.list could list the vDSO symbol name and symbol version.
e.g., in the "Syscall name" column use:
	gettimeofday:__vdso_gettimeofday@LINUX_2.6
This means that the shared library should get an IFUNC
that returns __vdso_gettimeofday from the vDSO, while
the static library gets a traditional syscall stub for gettimeofday.

I don't think it would be very hard to hack make-syscalls.sh to
support that.  But I won't try to make you do it and I admit that
it's overkill if there is really only one instance.

So with the top-line comment fixed, you can put this in.
But please file a bug about better vDSO syscall support, with
a link to the archive of this message, and add roland@gnu.org
to its CC list.


Thanks,
Roland