On 2019-06-04 13:58:51 [+0100], Julien Grall wrote: > Hi, Hi, > 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? There is swair (init_swait_queue_head() and friends) in case that works for you. > Cheers, Sebastian
