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 __read_pending()
287 				     gpa_t addr, unsigned int len)  in vgic_mmio_read_pending()
293 					gpa_t addr, unsigned int len)  in vgic_uaccess_read_pending()
305 			      gpa_t addr, unsigned int len,  in vgic_mmio_write_spending()
347 				gpa_t addr, unsigned int len,  in vgic_uaccess_write_spending()
398 			      gpa_t addr, unsigned int len,  in vgic_mmio_write_cpending()
441 				gpa_t addr, unsigned int len,  in vgic_uaccess_write_cpending()
504 					     gpa_t addr, unsigned int len)  in __vgic_mmio_read_active()
528 				    gpa_t addr, unsigned int len)  in vgic_mmio_read_active()
545 				    gpa_t addr, unsigned int len)  in vgic_uaccess_read_active()
609 				      gpa_t addr, unsigned int len,  in __vgic_mmio_write_cactive()
623 			     gpa_t addr, unsigned int len,  in vgic_mmio_write_cactive()
638 				     gpa_t addr, unsigned int len,  in vgic_mmio_uaccess_write_cactive()
646 				      gpa_t addr, unsigned int len,  in __vgic_mmio_write_sactive()
660 			     gpa_t addr, unsigned int len,  in vgic_mmio_write_sactive()
675 				     gpa_t addr, unsigned int len,  in vgic_mmio_uaccess_write_sactive()
683 				      gpa_t addr, unsigned int len)  in vgic_mmio_read_priority()
708 			      gpa_t addr, unsigned int len,  in vgic_mmio_write_priority()
730 				    gpa_t addr, unsigned int len)  in vgic_mmio_read_config()
749 			    gpa_t addr, unsigned int len,  in vgic_mmio_write_config()
935 			 gpa_t addr, int len)  in check_region()
966 		     gpa_t addr, int len)  in vgic_get_mmio_region()
979 			     gpa_t addr, u32 *val)  in vgic_uaccess_read()
1000 			      gpa_t addr, const u32 *val)  in vgic_uaccess_write()
1030 			      gpa_t addr, int len, void *val)  in dispatch_mmio_read()
1062 			       gpa_t addr, int len, const void *val)  in dispatch_mmio_write()