283 	u64 propbase = GICR_PROPBASER_ADDRESS(kvm->arch.vgic.propbaser);  in update_lpi_config()
413 static u32 max_lpis_propbaser(u64 propbaser)  in max_lpis_propbaser()
481 	u64 reg = GITS_TYPER_PLPIS;  in vgic_mmio_read_its_typer()
701 	u64 address;  in vgic_msi_to_its()
711 	address = (u64)msi->address_hi << 32 | msi->address_lo;  in vgic_msi_to_its()
762 	db = (u64)msi->address_hi << 32 | msi->address_lo;  in vgic_its_inject_cached_translation()
828 static u64 its_cmd_mask_field(u64 *its_cmd, int word, int shift, int size)  in its_cmd_mask_field()
848 				       u64 *its_cmd)  in vgic_its_cmd_handle_discard()
876 				    u64 *its_cmd)  in vgic_its_cmd_handle_movi()
911 static bool vgic_its_check_id(struct vgic_its *its, u64 baser, u32 id,  in vgic_its_check_id()
915 	u64 indirect_ptr, type = GITS_BASER_TYPE(baser);  in vgic_its_check_id()
953 	if (index >= (l1_tbl_size / sizeof(u64)))  in vgic_its_check_id()
1055 				    u64 *its_cmd)  in vgic_its_cmd_handle_mapi()
1178 				    u64 *its_cmd)  in vgic_its_cmd_handle_mapd()
1220 				    u64 *its_cmd)  in vgic_its_cmd_handle_mapc()
1262 				     u64 *its_cmd)  in vgic_its_cmd_handle_clear()
1287 				   u64 *its_cmd)  in vgic_its_cmd_handle_inv()
1310 				      u64 *its_cmd)  in vgic_its_cmd_handle_invall()
1354 				      u64 *its_cmd)  in vgic_its_cmd_handle_movall()
1398 				   u64 *its_cmd)  in vgic_its_cmd_handle_int()
1401 	u64 msi_devid = its_cmd_get_deviceid(its_cmd);  in vgic_its_cmd_handle_int()
1411 				   u64 *its_cmd)  in vgic_its_handle_command()
1460 static u64 vgic_sanitise_its_baser(u64 reg)  in vgic_sanitise_its_baser()
1478 static u64 vgic_sanitise_its_cbaser(u64 reg)  in vgic_sanitise_its_cbaser()
1531 	u64 cmd_buf[4];  in vgic_its_process_commands()
1568 	u64 reg;  in vgic_mmio_write_its_cwriter()
1629 #define BASER_INDEX(addr) (((addr) / sizeof(u64)) & 0x7)
1634 	u64 reg;  in vgic_mmio_read_its_baser()
1658 	u64 entry_size, table_type;  in vgic_mmio_write_its_baser()
1659 	u64 reg, *regptr, clearbits = 0;  in vgic_mmio_write_its_baser()
1814 				   u64 addr)  in vgic_register_its_iodev()
1928 		((u64)GITS_BASER_TYPE_DEVICE << GITS_BASER_TYPE_SHIFT);  in vgic_its_create()
1930 		((u64)GITS_BASER_TYPE_COLLECTION << GITS_BASER_TYPE_SHIFT);  in vgic_its_create()
1976 				     u64 *reg, bool is_write)  in vgic_its_attr_regs_access()
2139 	u64 val;  in vgic_its_save_ite()
2142 	val = ((u64)next_offset << KVM_ITS_ITE_NEXT_SHIFT) |  in vgic_its_save_ite()
2143 	       ((u64)ite->irq->intid << KVM_ITS_ITE_PINTID_SHIFT) |  in vgic_its_save_ite()
2162 	u64 val;  in vgic_its_restore_ite()
2163 	u64 *p = (u64 *)ptr;  in vgic_its_restore_ite()
2283 	u64 val, itt_addr_field;  in vgic_its_save_dte()
2289 	       ((u64)next_offset << KVM_ITS_DTE_NEXT_SHIFT) |  in vgic_its_save_dte()
2313 	u64 entry = *(u64 *)ptr;  in vgic_its_restore_dte()
2366 	u64 baser = its->baser_device_table;  in vgic_its_save_device_tables()
2411 	u64 entry = *(u64 *)addr;  in handle_l1_dte()
2436 	u64 baser = its->baser_device_table;  in vgic_its_restore_device_tables()
2467 	u64 val;  in vgic_its_save_cte()
2470 	       ((u64)collection->target_addr << KVM_ITS_CTE_RDBASE_SHIFT) |  in vgic_its_save_cte()
2481 	u64 val;  in vgic_its_restore_cte()
2516 	u64 baser = its->baser_coll_table;  in vgic_its_save_collection_table()
2519 	u64 val;  in vgic_its_save_collection_table()
2557 	u64 baser = its->baser_coll_table;  in vgic_its_restore_collection_table()
2672 static int vgic_its_ctrl(struct kvm *kvm, struct vgic_its *its, u64 attr)  in vgic_its_ctrl()
2715 		u64 __user *uaddr = (u64 __user *)(long)attr->addr;  in vgic_its_set_attr()
2717 		u64 addr;  in vgic_its_set_attr()
2735 		u64 __user *uaddr = (u64 __user *)(long)attr->addr;  in vgic_its_set_attr()
2736 		u64 reg;  in vgic_its_set_attr()
2753 		u64 addr = its->vgic_its_base;  in vgic_its_get_attr()
2754 		u64 __user *uaddr = (u64 __user *)(long)attr->addr;  in vgic_its_get_attr()
2765 		u64 __user *uaddr = (u64 __user *)(long)attr->addr;  in vgic_its_get_attr()
2766 		u64 reg;  in vgic_its_get_attr()