tree 2b242803ab4f54333f874ffcf237fc9c7427a0a7
parent 99364df764bbef327be2f8b8ffcfbb41a4a1af4d
author Andi Kleen <ak@suse.de> 1189512129 +0200
committer Linus Torvalds <torvalds@woody.linux-foundation.org> 1189614486 -0700

x86_64: Add missing mask operation to vdso

vdso vgetns() didn't mask the time source offset calculation, which
could lead to time problems with 32bit HPET.  Add the masking.

Thanks to Chuck Ebbert for tracking this down.

Signed-off-by: Andi Kleen <ak@suse.de>
Cc: Chuck Ebbert <cebbert@redhat.com>
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>