Re: question about use of x86 tsc in do_fast_gettimeoffset

David S. Miller (
Tue, 2 Nov 1999 18:40:18 -0800

Date: Tue, 2 Nov 1999 18:41:47 -0800
From: "Charles 'Buck' Krasic" <>

I've been reading the code in arch/i386/kernel/time.c and I think I
see a what should be a bug in do_fast_gettimeoffset(), but I can
not trigger it. So I wonder what I'm missing...

Interrupts are disabled and the SMP xtime_lock is held, so as
far as I can tell the sequence of events which would trigger the
bug cannot occur.

David S. Miller

To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to
Please read the FAQ at