Re: [PATCH 0/2] Make the TSC safe to be used by gettimeofday() II

[Andi Kleen]

> I was not able to make vgettimeofday use vgetcpu(). It seemed like vgetcpu()
> was not returning the same value as smp_processor_id() would, so the 
> values I'd get with vgettimeofday() did not completely agree with the 
> ones from gettimeofday(2). I didn't have the chance to investigate more.

I investigated now.  You got cpu hotplug disabled, right? 
The code currently only works with cpu hotplug enabled. Will fix.

-Andi
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/