I was wondering if anyone could explain how it is that the ppc64 do_gettimeofday() code doesn't need xtime_lock. I'm trying to mimic some of the vDSO gettimeofday() work in ppc32 and am having a hard time trying to understand the evolution of time.c in ppc32 vs ppc64. thanks - kumar