On Fri, 2012-03-02 at 20:35 +1100, Benjamin Herrenschmidt wrote: > > +static inline may_hard_irq_enable(void) { } > + And that works much better with a void : +static inline void may_hard_irq_enable(void) { } Or 32-bit won't build ;-) With that fix it builds on both 32 and 64-bit, now time to test ! Cheers, Ben.