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()
70 			   unsigned int len, unsigned long val)  in vgic_mmio_write_group()
118 			     unsigned long val)  in vgic_mmio_write_senable()
167 			     unsigned long val)  in vgic_mmio_write_cenable()
189 			       unsigned long val)  in vgic_uaccess_write_senable()
210 			       unsigned long val)  in vgic_uaccess_write_cenable()
241 		bool val;  in __read_pending()  local
305 			  unsigned long val, bool is_user)  in __set_pending()
355 			      unsigned long val)  in vgic_mmio_write_spending()
362 				unsigned long val)  in vgic_uaccess_write_spending()
391 			    unsigned long val, bool is_user)  in __clear_pending()
442 			      unsigned long val)  in vgic_mmio_write_cpending()
449 				unsigned long val)  in vgic_uaccess_write_cpending()
516 	u32 val;  in vgic_mmio_read_active()  local
595 				      unsigned long val)  in __vgic_mmio_write_cactive()
609 			     unsigned long val)  in vgic_mmio_write_cactive()
624 				     unsigned long val)  in vgic_mmio_uaccess_write_cactive()
632 				      unsigned long val)  in __vgic_mmio_write_sactive()
646 			     unsigned long val)  in vgic_mmio_write_sactive()
661 				     unsigned long val)  in vgic_mmio_uaccess_write_sactive()
672 	u64 val = 0;  in vgic_mmio_read_priority()  local
694 			      unsigned long val)  in vgic_mmio_write_priority()
735 			    unsigned long val)  in vgic_mmio_write_config()
769 	u32 val = 0;  in vgic_read_irq_line_level_info()  local
789 				    const u32 val)  in vgic_write_irq_line_level_info()
823 	const unsigned int offset = (unsigned long)key;  in match_region()  local
837 		      int nr_regions, unsigned int offset)  in vgic_find_mmio_region()
868 unsigned long vgic_data_mmio_bus_to_host(const void *val, unsigned int len)  in vgic_data_mmio_bus_to_host()
964 			     gpa_t addr, u32 *val)  in vgic_uaccess_read()
985 			      gpa_t addr, const u32 *val)  in vgic_uaccess_write()
1006 		 bool is_write, int offset, u32 *val)  in vgic_uaccess()
1015 			      gpa_t addr, int len, void *val)  in dispatch_mmio_read()
1047 			       gpa_t addr, int len, const void *val)  in dispatch_mmio_write()