54 				    unsigned long val)  in vgic_mmio_write_v2_misc()
74 					   unsigned long val)  in vgic_mmio_uaccess_write_v2_misc()
112 					    unsigned long val)  in vgic_mmio_uaccess_write_v2_group()
122 				 unsigned long val)  in vgic_mmio_write_sgir()
167 	u64 val = 0;  in vgic_mmio_read_target()  local
182 				   unsigned long val)  in vgic_mmio_write_target()
213 	u64 val = 0;  in vgic_mmio_read_sgipend()  local
227 				     unsigned long val)  in vgic_mmio_write_sgipendc()
249 				     unsigned long val)  in vgic_mmio_write_sgipends()
279 	u32 val;  in vgic_mmio_read_vcpuif()  local
324 				   unsigned long val)  in vgic_mmio_write_vcpuif()
389 				unsigned long val)  in vgic_mmio_write_apr()
540 			  int offset, u32 *val)  in vgic_v2_cpuif_uaccess()
552 			 int offset, u32 *val)  in vgic_v2_dist_uaccess()