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()
268 				     gpa_t addr, unsigned int len)  in vgic_mmio_read_pending()
274 					gpa_t addr, unsigned int len)  in vgic_uaccess_read_pending()
286 			      gpa_t addr, unsigned int len,  in vgic_mmio_write_spending()
328 				gpa_t addr, unsigned int len,  in vgic_uaccess_write_spending()
379 			      gpa_t addr, unsigned int len,  in vgic_mmio_write_cpending()
422 				gpa_t addr, unsigned int len,  in vgic_uaccess_write_cpending()
482 					     gpa_t addr, unsigned int len)  in __vgic_mmio_read_active()
506 				    gpa_t addr, unsigned int len)  in vgic_mmio_read_active()
523 				    gpa_t addr, unsigned int len)  in vgic_uaccess_read_active()
587 				      gpa_t addr, unsigned int len,  in __vgic_mmio_write_cactive()
601 			     gpa_t addr, unsigned int len,  in vgic_mmio_write_cactive()
616 				     gpa_t addr, unsigned int len,  in vgic_mmio_uaccess_write_cactive()
624 				      gpa_t addr, unsigned int len,  in __vgic_mmio_write_sactive()
638 			     gpa_t addr, unsigned int len,  in vgic_mmio_write_sactive()
653 				     gpa_t addr, unsigned int len,  in vgic_mmio_uaccess_write_sactive()
661 				      gpa_t addr, unsigned int len)  in vgic_mmio_read_priority()
686 			      gpa_t addr, unsigned int len,  in vgic_mmio_write_priority()
708 				    gpa_t addr, unsigned int len)  in vgic_mmio_read_config()
727 			    gpa_t addr, unsigned int len,  in vgic_mmio_write_config()
913 			 gpa_t addr, int len)  in check_region()
944 		     gpa_t addr, int len)  in vgic_get_mmio_region()
957 			     gpa_t addr, u32 *val)  in vgic_uaccess_read()
979 			      gpa_t addr, const u32 *val)  in vgic_uaccess_write()
1010 			      gpa_t addr, int len, void *val)  in dispatch_mmio_read()
1042 			       gpa_t addr, int len, const void *val)  in dispatch_mmio_write()
1075 int vgic_register_dist_iodev(struct kvm *kvm, gpa_t dist_base_address,  in vgic_register_dist_iodev()