Searched refs:its_devices (Results 1 – 3 of 3) sorted by relevance
645 struct rb_node **new = &d->arch.vgic.its_devices.rb_node, *parent = NULL; in gicv3_its_map_guest_device()683 rb_erase(&temp->rbnode, &d->arch.vgic.its_devices); in gicv3_its_map_guest_device()750 rb_insert_color(&dev->rbnode, &d->arch.vgic.its_devices); in gicv3_its_map_guest_device()810 struct rb_node *node = d->arch.vgic.its_devices.rb_node; in get_its_device()
1524 d->arch.vgic.its_devices = RB_ROOT; in vgic_v3_its_init_domain()1560 ASSERT(RB_EMPTY_ROOT(&d->arch.vgic.its_devices)); in vgic_v3_its_free_domain()
114 struct rb_root its_devices; /* Devices mapped to an ITS */ member
Completed in 8 milliseconds