Searched refs:vgic_evtchn_irq_pending (Results 1 – 4 of 4) sorted by relevance
33 return vgic_evtchn_irq_pending(current); in local_events_need_delivery_nomask()
336 bool vgic_evtchn_irq_pending(struct vcpu *v);
695 bool vgic_evtchn_irq_pending(struct vcpu *v) in vgic_evtchn_irq_pending() function
600 bool vgic_evtchn_irq_pending(struct vcpu *v) in vgic_evtchn_irq_pending() function
Completed in 7 milliseconds