157 struct its_device {  struct
241 static struct its_device *find_its_device(struct vgic_its *its, u32 device_id)  in find_its_device()
243 	struct its_device *device;  in find_its_device()
260 	struct its_device *device;  in find_ite()
404 	struct its_device *device;  in update_affinity_collection()
830 		struct its_device *device = find_its_device(its, device_id);  in vgic_its_cmd_handle_discard()
971 static bool vgic_its_check_event_id(struct vgic_its *its, struct its_device *device,  in vgic_its_check_event_id()
1012 	struct its_device *device;  in vgic_its_free_collection()
1034 static struct its_ite *vgic_its_alloc_ite(struct its_device *device,  in vgic_its_alloc_ite()
1063 	struct its_device *device;  in vgic_its_cmd_handle_mapi()
1124 				 struct its_device *device)  in vgic_its_free_device()
1145 	struct its_device *cur, *temp;  in vgic_its_free_device_list()
1161 static struct its_device *vgic_its_alloc_device(struct vgic_its *its,  in vgic_its_alloc_device()
1165 	struct its_device *device;  in vgic_its_alloc_device()
1191 	struct its_device *device;  in vgic_its_cmd_handle_mapd()
2043 				     struct its_device *dev)  in compute_next_devid_offset()
2045 	struct its_device *next;  in compute_next_devid_offset()
2136 static int vgic_its_save_ite(struct vgic_its *its, struct its_device *dev,  in vgic_its_save_ite()
2162 	struct its_device *dev = opaque;  in vgic_its_restore_ite()
2226 static int vgic_its_save_itt(struct vgic_its *its, struct its_device *device)  in vgic_its_save_itt()
2263 static int vgic_its_restore_itt(struct vgic_its *its, struct its_device *dev)  in vgic_its_restore_itt()
2288 static int vgic_its_save_dte(struct vgic_its *its, struct its_device *dev,  in vgic_its_save_dte()
2319 	struct its_device *dev;  in vgic_its_restore_dte()
2360 	struct its_device *deva = container_of(a, struct its_device, dev_list);  in vgic_its_device_cmp()
2361 	struct its_device *devb = container_of(b, struct its_device, dev_list);  in vgic_its_device_cmp()
2379 	struct its_device *dev;  in vgic_its_save_device_tables()