Lines Matching refs:vgic
645 struct rb_node **new = &d->arch.vgic.its_devices.rb_node, *parent = NULL; in gicv3_its_map_guest_device()
670 spin_lock(&d->arch.vgic.its_devices_lock); in gicv3_its_map_guest_device()
683 rb_erase(&temp->rbnode, &d->arch.vgic.its_devices); in gicv3_its_map_guest_device()
685 spin_unlock(&d->arch.vgic.its_devices_lock); in gicv3_its_map_guest_device()
750 rb_insert_color(&dev->rbnode, &d->arch.vgic.its_devices); 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()
810 struct rb_node *node = d->arch.vgic.its_devices.rb_node; in get_its_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()