124 	gpa_t itt_addr;  member
1148 						u32 device_id, gpa_t itt_addr,  in vgic_its_alloc_device()  argument
1158 	device->itt_addr = itt_addr;  in vgic_its_alloc_device()
1176 	gpa_t itt_addr = its_cmd_get_ittaddr(its_cmd);  in vgic_its_cmd_handle_mapd()  local
1202 	device = vgic_its_alloc_device(its, device_id, itt_addr,  in vgic_its_cmd_handle_mapd()
2211 	gpa_t base = device->itt_addr;  in vgic_its_save_itt()
2248 	gpa_t base = dev->itt_addr;  in vgic_its_restore_itt()
2277 	itt_addr_field = dev->itt_addr >> 8;  in vgic_its_save_dte()
2302 	gpa_t itt_addr;  in vgic_its_restore_dte()  local
2313 	itt_addr = ((entry & KVM_ITS_DTE_ITTADDR_MASK)  in vgic_its_restore_dte()
2322 	dev = vgic_its_alloc_device(its, id, itt_addr, num_eventid_bits);  in vgic_its_restore_dte()