128 	gpa_t itt_addr;  member
995 						u32 device_id, gpa_t itt_addr,  in vgic_its_alloc_device()  argument
1005 	device->itt_addr = itt_addr;  in vgic_its_alloc_device()
1023 	gpa_t itt_addr = its_cmd_get_ittaddr(its_cmd);  in vgic_its_cmd_handle_mapd()  local
1049 	device = vgic_its_alloc_device(its, device_id, itt_addr,  in vgic_its_cmd_handle_mapd()
2012 	gpa_t base = device->itt_addr;  in vgic_its_save_itt()
2049 	gpa_t base = dev->itt_addr;  in vgic_its_restore_itt()
2078 	itt_addr_field = dev->itt_addr >> 8;  in vgic_its_save_dte()
2103 	gpa_t itt_addr;  in vgic_its_restore_dte()  local
2114 	itt_addr = ((entry & KVM_ITS_DTE_ITTADDR_MASK)  in vgic_its_restore_dte()
2123 	dev = vgic_its_alloc_device(its, id, itt_addr, num_eventid_bits);  in vgic_its_restore_dte()