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...