On Tue, 4 Jun 2019 13:58:51 +0100 Julien Grall <julien.grall@xxxxxxx> wrote: > This is happening because vgic_v2_fold_lr_state() is expected > to be called with interrupt disabled. However, some of the path > (e.g eventfd) will take a spinlock. > > The spinlock is from the waitqueue, so using a raw_spin_lock cannot > even be considered. > > Do you have any input on how this could be solved? What's the reason that vgic_v2_fold_lr_state() expects interrupts to be disabled? -- Steve