Lines Matching refs:vgic

391     ASSERT(spin_is_locked(&v->arch.vgic.lock));  in gic_add_to_lr_pending()
396     list_for_each_entry ( iter, &v->arch.vgic.lr_pending, lr_queue )  in gic_add_to_lr_pending()
404     list_add_tail(&n->lr_queue, &v->arch.vgic.lr_pending);  in gic_add_to_lr_pending()
409     ASSERT(spin_is_locked(&v->arch.vgic.lock));  in gic_remove_from_lr_pending()
416     ASSERT(spin_is_locked(&v->arch.vgic.lock));  in gic_remove_irq_from_queues()
431     ASSERT(spin_is_locked(&v->arch.vgic.lock));  in gic_raise_inflight_irq()
464     ASSERT(spin_is_locked(&v->arch.vgic.lock));  in gic_find_unused_lr()
490     ASSERT(spin_is_locked(&v->arch.vgic.lock));  in gic_raise_guest_irq()
496     if ( v == current && list_empty(&v->arch.vgic.lr_pending) )  in gic_raise_guest_irq()
516     ASSERT(spin_is_locked(&v->arch.vgic.lock));  in gic_update_one_lr()
611     spin_lock_irqsave(&v->arch.vgic.lock, flags);  in gic_clear_lrs()
619     spin_unlock_irqrestore(&v->arch.vgic.lock, flags);  in gic_clear_lrs()
631     spin_lock_irqsave(&v->arch.vgic.lock, flags);  in gic_restore_pending_irqs()
633     if ( list_empty(&v->arch.vgic.lr_pending) )  in gic_restore_pending_irqs()
636     inflight_r = &v->arch.vgic.inflight_irqs;  in gic_restore_pending_irqs()
637     list_for_each_entry_safe ( p, t, &v->arch.vgic.lr_pending, lr_queue )  in gic_restore_pending_irqs()
675     spin_unlock_irqrestore(&v->arch.vgic.lock, flags);  in gic_restore_pending_irqs()
682     ASSERT(spin_is_locked(&v->arch.vgic.lock));  in gic_clear_pending_irqs()
685     list_for_each_entry_safe ( p, t, &v->arch.vgic.lr_pending, lr_queue )  in gic_clear_pending_irqs()
702     spin_lock_irqsave(&v->arch.vgic.lock, flags);  in gic_events_need_delivery()
709     list_for_each_entry( p, &v->arch.vgic.inflight_irqs, inflight )  in gic_events_need_delivery()
723     spin_unlock_irqrestore(&v->arch.vgic.lock, flags);  in gic_events_need_delivery()
733     if ( !list_empty(&current->arch.vgic.lr_pending) && lr_all_full() )  in gic_inject()
823     list_for_each_entry ( p, &v->arch.vgic.inflight_irqs, inflight )  in gic_dump_info()
828     list_for_each_entry( p, &v->arch.vgic.lr_pending, lr_queue )  in gic_dump_info()