On 20/09/16 12:39, Mark Rutland wrote:
> On Tue, Sep 20, 2016 at 01:34:19PM +0200, Robert Richter wrote:
>> Booting a kernel with DEBUG_PER_CPU_MAPS enabled triggers the follwing
>> warning:
>>
>>  WARNING: CPU: 1 PID: 0 at ./include/linux/cpumask.h:121 
>> gic_raise_softirq+0x298/0x308
> 
> James posted a patch for this [1], which we were hoping Thomas would
> pick up [2].

It is already in tip/irq/urgent (727653d).

Thanks,

        M.
-- 
Jazz is not dead. It just smells funny...

Reply via email to