[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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



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


 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.