188 u32 *vgic_bitmap_get_reg(struct vgic_bitmap *x, int cpuid, u32 offset)  in vgic_bitmap_get_reg()
256 u32 *vgic_bytemap_get_reg(struct vgic_bytemap *x, int cpuid, u32 offset)  in vgic_bytemap_get_reg()
428 		     phys_addr_t offset, int mode)  in vgic_reg_access()
478 			phys_addr_t offset)  in handle_mmio_raz_wi()
486 			    phys_addr_t offset, int vcpu_id, int access)  in vgic_handle_enable_reg()
509 				 phys_addr_t offset, int vcpu_id)  in vgic_handle_set_pending_reg()
546 				   phys_addr_t offset, int vcpu_id)  in vgic_handle_clear_pending_reg()
582 				phys_addr_t offset, int vcpu_id)  in vgic_handle_set_active_reg()
601 				  phys_addr_t offset, int vcpu_id)  in vgic_handle_clear_active_reg()
654 			 phys_addr_t offset)  in vgic_handle_cfg_reg()
736 				      int len, gpa_t offset)  in vgic_find_range()
750 				 unsigned long offset)  in vgic_validate_access()
776 			       unsigned long offset,  in call_range_handler()
827 	gpa_t offset;  in vgic_handle_mmio_access()  local
2351 int vgic_has_attr_regs(const struct vgic_io_range *ranges, phys_addr_t offset)  in vgic_has_attr_regs()