Hi, On 07/04/17 14:07, Julien Grall wrote: > > > On 06/04/17 00:19, Andre Przywara wrote: >> + vgic_init_pending_irq(pirq, intid); >> + >> + /* >> + * Now read the guest's property table to initialize our cached >> state. >> + * It can't fire at this time, because it is not known to the >> host yet. >> + */ >> + ret = update_lpi_property(its->d, intid, pirq); > > This function is introduced in a latter patch (see #26). Please re-order > the patches to avoid that.
Thanks for the heads up, I found this myself already and just fixed it. Cheers, Andre. >> + if ( ret ) >> + return ret; >> + >> + pirq->vcpu_id = vcpu->vcpu_id; > > Cheers, > _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel
