30 		     unsigned long val)  in update_64bit_reg()
123 				    unsigned long val)  in vgic_mmio_write_v3_misc()
172 					   unsigned long val)  in vgic_mmio_uaccess_write_v3_misc()
240 				    unsigned long val)  in vgic_mmio_write_irouter()
276 	unsigned long val;  in vgic_mmio_read_v3r_ctlr()  local
287 				     unsigned long val)  in vgic_mmio_write_v3r_ctlr()
385 					 unsigned long val)  in vgic_v3_uaccess_write_pending()
489 				     unsigned long val)  in vgic_mmio_write_propbase()
520 				     unsigned long val)  in vgic_mmio_write_pendbase()
557 				   unsigned long val)  in vgic_mmio_write_invlpi()
589 				   unsigned long val)  in vgic_mmio_write_invall()
1139 			 int offset, u32 *val)  in vgic_v3_dist_uaccess()
1150 			   int offset, u32 *val)  in vgic_v3_redist_uaccess()
1161 				    u32 intid, u32 *val)  in vgic_v3_line_level_info_uaccess()