Thanks for doing this work.
Does it only look this way or is your white space really broken?
> Right now, the only known problem is with the fixup of jiffies if a
> timer interrupt is lost, which I've hence turned off.  There's
> preliminary support for using HPET for the gettimeofday vsyscall, but
> since vsyscalls are disabled on x86-64 for now, that's obviously
> untested.
What makes you think they are disabled? They are used for every 64bit
program that uses gettimeofday or time and enabled by default.
> +static inline void rdtscll_sync(unsigned long *tsc)
> +{
> +	sync_core();
> +	rdtscll(*tsc);
On UP the sync_core is not really needed, but more reliable. May be worth
it to stick into an #ifdef though.
>  
>  	}
>   
> +	call++;
> +
What's that?
-Andi
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/