2009-04-21 16:02:29 by Jonas Wallden <email@example.com>
Update last fix to use simpler clock that doesn't require Mach calls at
all. We can probably get rid of task_info() altogether, though the
overhead is no longer a big worry.
Inside #if undefined(HAVE_NO_YIELD)