On Tue, 2010-08-31 at 16:31 +1000, Benjamin Herrenschmidt wrote:
Indeed, those parts are only strictly needed for -rt, I was hoping the
tiny bit of overhead wouldn't be too bad and we could keep it.
If not I guess we should put those two bits in __switch_to() under
CONFIG_PREEMPT_RT and carry them there for a little while longer.
Thanks! And yeah I'd prefer to keep it to reduce Thomas' burden if
possible.
--