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()
517 static void vgic_set_rdist_busy(struct kvm_vcpu *vcpu, bool busy)  in vgic_set_rdist_busy()
530 				   unsigned long val)  in vgic_mmio_write_invlpi()
562 				   unsigned long val)  in vgic_mmio_write_invall()
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()