Lines Matching defs:device_id
125 u32 device_id;
210 static struct its_device *find_its_device(struct vgic_its *its, u32 device_id)
215 if (device_id == device->device_id)
226 static struct its_ite *find_ite(struct vgic_its *its, u32 device_id,
232 device = find_its_device(its, device_id);
852 u32 device_id = its_cmd_get_deviceid(its_cmd);
856 ite = find_ite(its, device_id, event_id);
879 u32 device_id = its_cmd_get_deviceid(its_cmd);
886 ite = find_ite(its, device_id, event_id);
1082 u32 device_id = its_cmd_get_deviceid(its_cmd);
1092 device = find_its_device(its, device_id);
1108 if (find_ite(its, device_id, event_id))
1185 u32 device_id, gpa_t itt_addr,
1194 device->device_id = device_id;
1210 u32 device_id = its_cmd_get_deviceid(its_cmd);
1216 if (!vgic_its_check_id(its, its->baser_device_table, device_id, NULL))
1222 device = find_its_device(its, device_id);
1239 device = vgic_its_alloc_device(its, device_id, itt_addr,
1298 u32 device_id = its_cmd_get_deviceid(its_cmd);
1303 ite = find_ite(its, device_id, event_id);
1328 u32 device_id = its_cmd_get_deviceid(its_cmd);
1333 ite = find_ite(its, device_id, event_id);
2123 next_offset = next->device_id - dev->device_id;
2432 if (deva->device_id < devb->device_id)
2462 dev->device_id, &eaddr))