860 		gpa_t gpa = device->itt_addr + ite->event_id * ite_esz;  in vgic_its_cmd_handle_discard()  local
909 static bool __is_visible_gfn_locked(struct vgic_its *its, gpa_t gpa)  in __is_visible_gfn_locked()
1004 	gpa_t gpa;  in vgic_its_check_event_id()  local
1220 	gpa_t gpa;  in vgic_its_cmd_handle_mapd()  local
2181 	gpa_t gpa = base;  in scan_its_table()  local
2214 			      struct its_ite *ite, gpa_t gpa, int ite_esz)  in vgic_its_save_ite()
2312 		gpa_t gpa = base + ite->event_id * ite_esz;  in vgic_its_save_itt()  local
2501 	gpa_t gpa;  in handle_l1_dte()  local
2556 			     gpa_t gpa, int esz)  in vgic_its_save_cte()
2573 static int vgic_its_restore_cte(struct vgic_its *its, gpa_t gpa, int esz)  in vgic_its_restore_cte()
2617 	gpa_t gpa = GITS_BASER_ADDR_48_to_52(baser);  in vgic_its_save_collection_table()  local
2656 	gpa_t gpa;  in vgic_its_restore_collection_table()  local