[PATCH] linux, x86: Add 32 bit vDSO time function support

[Rich Felker]

On Sat, Apr 19, 2014 at 10:08:04AM +0200, Stefani Seibold wrote:
> This patch add support for 32 bit vDSO time functions provided by the linux
> kernel 3.15, which will be also supported the ia32 emulation mode.

This patch looks excessively large considering that it's just adding
to 32-bit x86 functionality which is already implemented for x86_64. I
believe it also already exists for ppc and maybe some other archs. If
it really requires this much code duplication to add the same feature
to each arch, I think some serious refactoring is called for...

Rich