In some mail from Simon Burge, sie said:
> 
> Darren Reed wrote:
> 
> > Please excuse my ignorance of x86 stuff, but is it possible to implement
> > microtime() using rdtsc() [if available] ?
> 
> It looks like we already do.  Look at arch/i386/i386/identcpu.c:
...

Ugh...I looked in a bunch of those files before emailing but
obviously not closely enough!

Thanks,
Darren