20 				 gpa_t addr, unsigned int len)  in vgic_mmio_read_raz()
26 				 gpa_t addr, unsigned int len)  in vgic_mmio_read_rao()
31 void vgic_mmio_write_wi(struct kvm_vcpu *vcpu, gpa_t addr,  in vgic_mmio_write_wi()
37 int vgic_mmio_uaccess_write_wi(struct kvm_vcpu *vcpu, gpa_t addr,  in vgic_mmio_uaccess_write_wi()
45 				   gpa_t addr, unsigned int len)  in vgic_mmio_read_group()
69 void vgic_mmio_write_group(struct kvm_vcpu *vcpu, gpa_t addr,  in vgic_mmio_write_group()
97 				    gpa_t addr, unsigned int len)  in vgic_mmio_read_enable()
117 			     gpa_t addr, unsigned int len,  in vgic_mmio_write_senable()
166 			     gpa_t addr, unsigned int len,  in vgic_mmio_write_cenable()
188 			       gpa_t addr, unsigned int len,  in vgic_uaccess_write_senable()
209 			       gpa_t addr, unsigned int len,  in vgic_uaccess_write_cenable()
230 				     gpa_t addr, unsigned int len)  in vgic_mmio_read_pending()
271 			      gpa_t addr, unsigned int len,  in vgic_mmio_write_spending()
313 				gpa_t addr, unsigned int len,  in vgic_uaccess_write_spending()
364 			      gpa_t addr, unsigned int len,  in vgic_mmio_write_cpending()
407 				gpa_t addr, unsigned int len,  in vgic_uaccess_write_cpending()
467 					     gpa_t addr, unsigned int len)  in __vgic_mmio_read_active()
491 				    gpa_t addr, unsigned int len)  in vgic_mmio_read_active()
508 				    gpa_t addr, unsigned int len)  in vgic_uaccess_read_active()
572 				      gpa_t addr, unsigned int len,  in __vgic_mmio_write_cactive()
586 			     gpa_t addr, unsigned int len,  in vgic_mmio_write_cactive()
601 				     gpa_t addr, unsigned int len,  in vgic_mmio_uaccess_write_cactive()
609 				      gpa_t addr, unsigned int len,  in __vgic_mmio_write_sactive()
623 			     gpa_t addr, unsigned int len,  in vgic_mmio_write_sactive()
638 				     gpa_t addr, unsigned int len,  in vgic_mmio_uaccess_write_sactive()
646 				      gpa_t addr, unsigned int len)  in vgic_mmio_read_priority()
671 			      gpa_t addr, unsigned int len,  in vgic_mmio_write_priority()
693 				    gpa_t addr, unsigned int len)  in vgic_mmio_read_config()
712 			    gpa_t addr, unsigned int len,  in vgic_mmio_write_config()
898 			 gpa_t addr, int len)  in check_region()
929 		     gpa_t addr, int len)  in vgic_get_mmio_region()
942 			     gpa_t addr, u32 *val)  in vgic_uaccess_read()
963 			      gpa_t addr, const u32 *val)  in vgic_uaccess_write()
993 			      gpa_t addr, int len, void *val)  in dispatch_mmio_read()
1025 			       gpa_t addr, int len, const void *val)  in dispatch_mmio_write()
1058 int vgic_register_dist_iodev(struct kvm *kvm, gpa_t dist_base_address,  in vgic_register_dist_iodev()