[lkml]   [2018]   [Nov]   [9]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
Messages in this thread
SubjectRe: WARNING: CPU: 0 PID: 0 at drivers/irqchip/irq-gic-v3-its.c
On Fri, Nov 9, 2018 at 4:10 PM Marc Zyngier <> wrote:

> See bb42ca474010 and d003d029cea8 for details.
> Now, activating this workaround leads to lockdep being really angry,
> most likely because the cpus_read_lock is not taken, which is a change
> in behaviour...
> I'm trying to dig into this now.

Yes we found similar issue in kernel/sched/core.c sched_init_smp
There's a fix with detailed description in -next
(Commit 40fa3780bac2 ("sched/core: Take the hotplug lock in sched_init_smp()")

The behaviour changed since commit cb538267ea1e ("jump_label/lockdep:
Assert we hold the hotplug lock for _cpuslocked() operations")


 \ /
  Last update: 2018-11-09 18:29    [W:0.039 / U:16.808 seconds]
©2003-2018 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site