Re: [PATCH 13/15] sched: Use a static_key for sched_clock_stable

From: Markus Trippelsdorf
Date: Thu Jan 23 2014 - 05:01:11 EST

On 2014.01.23 at 10:48 +0100, Peter Zijlstra wrote:
> On Wed, Jan 22, 2014 at 10:17:40PM +0100, Markus Trippelsdorf wrote:
> Ah much simpler patch that should have the same effect:

Yes. FWIW it also seems to be fine.

To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at
Please read the FAQ at