> > >This is a little change to reduce a few calls to microtime() based on
> > >some other similar code in the kernel.  Seem reasonable?
> > 	i'm not too sure, but mono_time is safer?  no?
>No, microtime returns results based on time, not mono_time, so using
>time is more appropriate.

	i was wondering if it has to monotonically increase or not.
	anyways, by using time we preserve the current behavior.

itojun