Lines Matching refs:itt_addr
124 gpa_t itt_addr;
1153 u32 device_id, gpa_t itt_addr,
1163 device->itt_addr = itt_addr;
1181 gpa_t itt_addr = its_cmd_get_ittaddr(its_cmd);
1207 device = vgic_its_alloc_device(its, device_id, itt_addr,
2216 gpa_t base = device->itt_addr;
2253 gpa_t base = dev->itt_addr;
2282 itt_addr_field = dev->itt_addr >> 8;
2307 gpa_t itt_addr;
2318 itt_addr = ((entry & KVM_ITS_DTE_ITTADDR_MASK)
2327 dev = vgic_its_alloc_device(its, id, itt_addr, num_eventid_bits);