Re: [Xen-devel] [PATCH v3] xen/arm: trap guest WFI

[Stefano Stabellini <stefano.stabellini@xxxxxxxxxxxxx>]

On Wed, 27 Mar 2013, Julien Grall wrote:
> On 03/26/2013 02:49 PM, Stefano Stabellini wrote:
> 
> >  static inline int local_events_need_delivery(void)
> >  {
> > -    /* TODO
> > -     * return (vcpu_info(v, evtchn_upcall_pending) &&
> > -                        !vcpu_info(v, evtchn_upcall_mask)); */
> > -        return 0;
> > +    return ( !list_empty(&current->arch.vgic.inflight_irqs) ||
> > +            vcpu_info(current, evtchn_upcall_pending) );
> >  }
> >  
> >  int local_event_delivery_is_enabled(void);
> 
> 
> This patch breaks boot on the arndale board. I'm able to boot dom0
> if inflight_irqs is replaced by pending_lr.

thanks, I'll send another version of the series with this change

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel