On Tue, Mar 04, 2014 at 10:28:06AM +0000, Catalin Marinas wrote:
I'm totally fine with that, I only made it selectable due to the 32 bit
code doing that - I'm not sure we even need the separate symbol.
Whatever you prefer.
Like that?
Looks good to me!