Subject: [PATCH] sched, time: fix build error with 64 bit cputime_t on 32 bit systems

From: [email-masked] (Peter Zijlstra)
Date: Tue, 30 Sep 2014 21:08:59 +0200

On Tue, Sep 30, 2014 at 09:06:13PM +0200, Frederic Weisbecker wrote:
> Maybe cmpxchg() should itself be a wrapper that does this build time choice
> between cmpxchg32() and cmpxchg64().
> 
> And if it looks too dangerous to convert all users, this could be cmpxchg_t().

It cannot, not all 32bit archs can do a 64bit cmpxchg.