20 				 gpa_t addr, unsigned int len)  in vgic_mmio_read_raz()
26 				 gpa_t addr, unsigned int len)  in vgic_mmio_read_rao()
32 			unsigned int len, unsigned long val)  in vgic_mmio_write_wi()
38 			       unsigned int len, unsigned long val)  in vgic_mmio_uaccess_write_wi()
45 				   gpa_t addr, unsigned int len)  in vgic_mmio_read_group()
70 			   unsigned int len, unsigned long val)  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()
846 unsigned long vgic_data_mmio_bus_to_host(const void *val, unsigned int len)  in vgic_data_mmio_bus_to_host()
871 void vgic_data_host_to_mmio_bus(void *buf, unsigned int len,  in vgic_data_host_to_mmio_bus()
898 			 gpa_t addr, int len)  in check_region()
929 		     gpa_t addr, int len)  in vgic_get_mmio_region()
995 			      gpa_t addr, int len, void *val)  in dispatch_mmio_read()
1027 			       gpa_t addr, int len, const void *val)  in dispatch_mmio_write()
1065 	unsigned int len;  in vgic_register_dist_iodev()  local