124 	gpa_t itt_addr;
430 	gpa_t pendbase = GICR_PENDBASER_ADDRESS(vcpu->arch.vgic_cpu.pendbaser);  in its_sync_lpi_pending_table()
478 					      gpa_t addr, unsigned int len)  in vgic_mmio_read_its_typer()
500 					     gpa_t addr, unsigned int len)  in vgic_mmio_read_its_iidr()
511 					    gpa_t addr, unsigned int len,  in vgic_mmio_uaccess_write_its_iidr()
523 					       gpa_t addr, unsigned int len)  in vgic_mmio_read_its_idregs()
905 			      gpa_t *eaddr)  in vgic_its_check_id()
1148 						u32 device_id, gpa_t itt_addr,  in vgic_its_alloc_device()
1176 	gpa_t itt_addr = its_cmd_get_ittaddr(its_cmd);  in vgic_its_cmd_handle_mapd()
1489 					       gpa_t addr, unsigned int len)  in vgic_mmio_read_its_cbaser()
1495 				       gpa_t addr, unsigned int len,  in vgic_mmio_write_its_cbaser()
1521 	gpa_t cbaser;  in vgic_its_process_commands()
1556 					gpa_t addr, unsigned int len,  in vgic_mmio_write_its_cwriter()
1581 						gpa_t addr, unsigned int len)  in vgic_mmio_read_its_cwriter()
1588 					       gpa_t addr, unsigned int len)  in vgic_mmio_read_its_creadr()
1595 					      gpa_t addr, unsigned int len,  in vgic_mmio_uaccess_write_its_creadr()
1623 					      gpa_t addr, unsigned int len)  in vgic_mmio_read_its_baser()
1645 				      gpa_t addr, unsigned int len,  in vgic_mmio_write_its_baser()
1699 					     gpa_t addr, unsigned int len)  in vgic_mmio_read_its_ctlr()
1714 				     gpa_t addr, unsigned int len,  in vgic_mmio_write_its_ctlr()
1763 			      gpa_t addr, unsigned int len, unsigned long val)  in its_mmio_write_wi()
1948 	gpa_t offset = attr->attr;  in vgic_its_has_attr_regs()
1971 	gpa_t addr, offset;  in vgic_its_attr_regs_access()
2087 static int scan_its_table(struct vgic_its *its, gpa_t base, int size, u32 esz,  in scan_its_table()
2093 	gpa_t gpa = base;  in scan_its_table()
2123 			      struct its_ite *ite, gpa_t gpa, int ite_esz)  in vgic_its_save_ite()
2208 	gpa_t base = device->itt_addr;  in vgic_its_save_itt()
2216 		gpa_t gpa = base + ite->event_id * ite_esz;  in vgic_its_save_itt()
2245 	gpa_t base = dev->itt_addr;  in vgic_its_restore_itt()
2268 			     gpa_t ptr, int dte_esz)  in vgic_its_save_dte()
2299 	gpa_t itt_addr;  in vgic_its_restore_dte()
2365 		gpa_t eaddr;  in vgic_its_save_device_tables()
2401 	gpa_t gpa;  in handle_l1_dte()
2427 	gpa_t l1_gpa;  in vgic_its_restore_device_tables()
2453 			     gpa_t gpa, int esz)  in vgic_its_save_cte()
2464 static int vgic_its_restore_cte(struct vgic_its *its, gpa_t gpa, int esz)  in vgic_its_restore_cte()
2505 	gpa_t gpa = GITS_BASER_ADDR_48_to_52(baser);  in vgic_its_save_collection_table()
2548 	gpa_t gpa;  in vgic_its_restore_collection_table()