30 		     unsigned long val)  in update_64bit_reg()
106 				    unsigned long val)  in vgic_mmio_write_v3_misc()
155 					   unsigned long val)  in vgic_mmio_uaccess_write_v3_misc()
213 				    unsigned long val)  in vgic_mmio_write_irouter()
249 	unsigned long val;  in vgic_mmio_read_v3r_ctlr()  local
260 				     unsigned long val)  in vgic_mmio_write_v3r_ctlr()
358 					 unsigned long val)  in vgic_v3_uaccess_write_pending()
462 				     unsigned long val)  in vgic_mmio_write_propbase()
493 				     unsigned long val)  in vgic_mmio_write_pendbase()
530 				   unsigned long val)  in vgic_mmio_write_invlpi()
562 				   unsigned long val)  in vgic_mmio_write_invall()
820 	unsigned long c;  in vgic_register_all_redist_iodevs()  local
930 	unsigned long c;  in vgic_v3_free_redist_region()  local
1081 	unsigned long c;  in vgic_v3_dispatch_sgi()  local
1112 			 int offset, u32 *val)  in vgic_v3_dist_uaccess()
1123 			   int offset, u32 *val)  in vgic_v3_redist_uaccess()
1134 				    u32 intid, u32 *val)  in vgic_v3_line_level_info_uaccess()