Lines Matching defs:device_id
129 u32 device_id;
206 static struct its_device *find_its_device(struct vgic_its *its, u32 device_id)
211 if (device_id == device->device_id)
222 static struct its_ite *find_ite(struct vgic_its *its, u32 device_id,
228 device = find_its_device(its, device_id);
779 u32 device_id = its_cmd_get_deviceid(its_cmd);
783 ite = find_ite(its, device_id, event_id);
806 u32 device_id = its_cmd_get_deviceid(its_cmd);
813 ite = find_ite(its, device_id, event_id);
1009 u32 device_id = its_cmd_get_deviceid(its_cmd);
1019 device = find_its_device(its, device_id);
1035 if (find_ite(its, device_id, event_id))
1113 u32 device_id, gpa_t itt_addr,
1122 device->device_id = device_id;
1138 u32 device_id = its_cmd_get_deviceid(its_cmd);
1144 if (!vgic_its_check_id(its, its->baser_device_table, device_id, NULL))
1150 device = find_its_device(its, device_id);
1167 device = vgic_its_alloc_device(its, device_id, itt_addr,
1227 u32 device_id = its_cmd_get_deviceid(its_cmd);
1232 ite = find_ite(its, device_id, event_id);
1257 u32 device_id = its_cmd_get_deviceid(its_cmd);
1262 ite = find_ite(its, device_id, event_id);
2001 next_offset = next->device_id - dev->device_id;
2310 if (deva->device_id < devb->device_id)
2340 dev->device_id, &eaddr))