On Mon, Jun 03 2024 at 17:01, Marc Zyngier wrote: > On Mon, 03 Jun 2024 13:25:06 +0100, >> @@ -1992,6 +1970,8 @@ static int its_irq_set_vcpu_affinity(struct irq_data *d, void *vcpu_info) >> if (!is_v4(its_dev->its)) >> return -EINVAL; >> >> + guard(raw_spinlock_irq, &its_dev->event_map.vlpi_lock); >> + > > I don't think this compiles as is, due to the funky syntax required. Stupid me. I obviously compiled the wrong config to validate... Fixed now.