Searched refs:its_devices (Results 1 – 3 of 3) sorted by relevance
631 struct rb_node **new = &d->arch.vgic.its_devices.rb_node, *parent = NULL; in gicv3_its_map_guest_device()669 rb_erase(&temp->rbnode, &d->arch.vgic.its_devices); in gicv3_its_map_guest_device()736 rb_insert_color(&dev->rbnode, &d->arch.vgic.its_devices); in gicv3_its_map_guest_device()796 struct rb_node *node = d->arch.vgic.its_devices.rb_node; in get_its_device()
1522 d->arch.vgic.its_devices = RB_ROOT; in vgic_v3_its_init_domain()1562 ASSERT(RB_EMPTY_ROOT(&d->arch.vgic.its_devices)); in vgic_v3_its_free_domain()
166 struct rb_root its_devices; /* Devices mapped to an ITS */ member
Completed in 9 milliseconds