Searched refs:its_devices_lock (Results 1 – 3 of 3) sorted by relevance
670 spin_lock(&d->arch.vgic.its_devices_lock); in gicv3_its_map_guest_device()685 spin_unlock(&d->arch.vgic.its_devices_lock); in gicv3_its_map_guest_device()752 spin_unlock(&d->arch.vgic.its_devices_lock); in gicv3_its_map_guest_device()792 spin_unlock(&d->arch.vgic.its_devices_lock); in gicv3_its_map_guest_device()813 ASSERT(spin_is_locked(&d->arch.vgic.its_devices_lock)); in get_its_device()843 spin_lock(&d->arch.vgic.its_devices_lock); in get_event_pending_irq()852 spin_unlock(&d->arch.vgic.its_devices_lock); in get_event_pending_irq()
1523 spin_lock_init(&d->arch.vgic.its_devices_lock); in vgic_v3_its_init_domain()
115 spinlock_t its_devices_lock; /* Protects the its_devices tree */ member
Completed in 9 milliseconds