124 	gpa_t itt_addr;  member
998 	gpa = device->itt_addr + event_id * ite_esz;  in vgic_its_check_event_id()
1177 						u32 device_id, gpa_t itt_addr,  in vgic_its_alloc_device()  argument
1187 	device->itt_addr = itt_addr;  in vgic_its_alloc_device()
1205 	gpa_t itt_addr = its_cmd_get_ittaddr(its_cmd);  in vgic_its_cmd_handle_mapd()  local
1231 	device = vgic_its_alloc_device(its, device_id, itt_addr,  in vgic_its_cmd_handle_mapd()
2288 	gpa_t base = device->itt_addr;  in vgic_its_save_itt()
2325 	gpa_t base = dev->itt_addr;  in vgic_its_restore_itt()
2354 	itt_addr_field = dev->itt_addr >> 8;  in vgic_its_save_dte()
2380 	gpa_t itt_addr;  in vgic_its_restore_dte()  local
2391 	itt_addr = ((entry & KVM_ITS_DTE_ITTADDR_MASK)  in vgic_its_restore_dte()
2403 	dev = vgic_its_alloc_device(its, id, itt_addr, num_eventid_bits);  in vgic_its_restore_dte()