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

[Julien Grall <julien.grall@citrix.com>]

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,

Julien