On Sun, 09 Sep 2007 09:27:06 +0200, Andi Kleen said: > > Updating on this issue: Both myself and another person have reported on > > the RedHat bugzilla that it's a clocksource issue - if you are using the > > hpet clocksource, the time warps, but booting with clocksource=acpi_pm > > works. > > > > This ring any bells? > > Does this patch fix it? > -Andi > > 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 down. > > Signed-off-by: Andi Kleen <[EMAIL PROTECTED]>
Confirming that does indeed fix it - booted with hpet clocksource and vdso=1, and the time didn't warp at the 5-minute mark. Tested-By: Valdis Kletnieks <[EMAIL PROTECTED]>
pgpKiIz2yl9qH.pgp
Description: PGP signature
