On 14.02.2014 14:34, Borislav Petkov wrote:
> On Thu, Feb 13, 2014 at 07:26:05PM +0100, Peter Zijlstra wrote:
>> On Thu, Feb 13, 2014 at 07:03:56PM +0100, Stefan Bader wrote:
>>> Yeah... not sure the interleaved source helps or not ...
>>
>> It did, thanks!
> 
> Stefan, can you also send sched/core.s? I'm particularly interested in
> what resched_task() has been turned into by your build env.
> 
> Thanks.
> 
Sure. Here it is.