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.
+ if ( ret ) + return ret; + + pirq->vcpu_id = vcpu->vcpu_id;
Cheers, -- Julien Grall _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel
