124 	gpa_t itt_addr;
430 	gpa_t pendbase = GICR_PENDBASER_ADDRESS(vcpu->arch.vgic_cpu.pendbaser);  in its_sync_lpi_pending_table()
481 					      gpa_t addr, unsigned int len)  in vgic_mmio_read_its_typer()
503 					     gpa_t addr, unsigned int len)  in vgic_mmio_read_its_iidr()
514 					    gpa_t addr, unsigned int len,  in vgic_mmio_uaccess_write_its_iidr()
526 					       gpa_t addr, unsigned int len)  in vgic_mmio_read_its_idregs()
905 static bool __is_visible_gfn_locked(struct vgic_its *its, gpa_t gpa)  in __is_visible_gfn_locked()
925 			      gpa_t *eaddr)  in vgic_its_check_id()
1000 	gpa_t gpa;  in vgic_its_check_event_id()
1185 						u32 device_id, gpa_t itt_addr,  in vgic_its_alloc_device()
1213 	gpa_t itt_addr = its_cmd_get_ittaddr(its_cmd);  in vgic_its_cmd_handle_mapd()
1552 					       gpa_t addr, unsigned int len)  in vgic_mmio_read_its_cbaser()
1558 				       gpa_t addr, unsigned int len,  in vgic_mmio_write_its_cbaser()
1584 	gpa_t cbaser;  in vgic_its_process_commands()
1619 					gpa_t addr, unsigned int len,  in vgic_mmio_write_its_cwriter()
1644 						gpa_t addr, unsigned int len)  in vgic_mmio_read_its_cwriter()
1651 					       gpa_t addr, unsigned int len)  in vgic_mmio_read_its_creadr()
1658 					      gpa_t addr, unsigned int len,  in vgic_mmio_uaccess_write_its_creadr()
1686 					      gpa_t addr, unsigned int len)  in vgic_mmio_read_its_baser()
1708 				      gpa_t addr, unsigned int len,  in vgic_mmio_write_its_baser()
1762 					     gpa_t addr, unsigned int len)  in vgic_mmio_read_its_ctlr()
1777 				     gpa_t addr, unsigned int len,  in vgic_mmio_write_its_ctlr()
1826 			      gpa_t addr, unsigned int len, unsigned long val)  in its_mmio_write_wi()
2027 	gpa_t offset = attr->attr;  in vgic_its_has_attr_regs()
2050 	gpa_t addr, offset;  in vgic_its_attr_regs_access()
2169 static int scan_its_table(struct vgic_its *its, gpa_t base, int size, u32 esz,  in scan_its_table()
2175 	gpa_t gpa = base;  in scan_its_table()
2208 			      struct its_ite *ite, gpa_t gpa, int ite_esz)  in vgic_its_save_ite()
2298 	gpa_t base = device->itt_addr;  in vgic_its_save_itt()
2306 		gpa_t gpa = base + ite->event_id * ite_esz;  in vgic_its_save_itt()
2335 	gpa_t base = dev->itt_addr;  in vgic_its_restore_itt()
2358 			     gpa_t ptr, int dte_esz)  in vgic_its_save_dte()
2390 	gpa_t itt_addr;  in vgic_its_restore_dte()
2459 		gpa_t eaddr;  in vgic_its_save_device_tables()
2495 	gpa_t gpa;  in handle_l1_dte()
2521 	gpa_t l1_gpa;  in vgic_its_restore_device_tables()
2550 			     gpa_t gpa, int esz)  in vgic_its_save_cte()
2566 static int vgic_its_restore_cte(struct vgic_its *its, gpa_t gpa, int esz)  in vgic_its_restore_cte()
2611 	gpa_t gpa = GITS_BASER_ADDR_48_to_52(baser);  in vgic_its_save_collection_table()
2654 	gpa_t gpa;  in vgic_its_restore_collection_table()