[tesla-dev] Revert 7422, since gethrtime need to disable

[John Levon]

On Tue, Oct 21, 2008 at 10:59:07AM -0700, Eric Saxe wrote:

> Thanks for the update...interesting bug...

Sadly, fixing it to use clear_int_flag() is still causing problems, so
something else is going on still.

regads
john