Searched refs:itt_addr (Results 1 – 2 of 2) sorted by relevance
802 gpa_t gpa = device->itt_addr + ite->event_id * ite_esz; in vgic_its_cmd_handle_discard()952 gpa = device->itt_addr + event_id * ite_esz; in vgic_its_check_event_id()1132 u32 device_id, gpa_t itt_addr, in vgic_its_alloc_device() argument1142 device->itt_addr = itt_addr; in vgic_its_alloc_device()1160 gpa_t itt_addr = its_cmd_get_ittaddr(its_cmd); in vgic_its_cmd_handle_mapd() local1187 device = vgic_its_alloc_device(its, device_id, itt_addr, in vgic_its_cmd_handle_mapd()2201 gpa_t base = device->itt_addr; in vgic_its_save_itt()2238 gpa_t base = dev->itt_addr; in vgic_its_restore_itt()2266 itt_addr_field = dev->itt_addr >> 8; in vgic_its_save_dte()2293 gpa_t itt_addr; in vgic_its_restore_dte() local[all …]
199 gpa_t itt_addr; member
Completed in 12 milliseconds