70 void vgic_reg_access(struct kvm_exit_mmio *mmio, u32 *reg,
72 bool handle_mmio_raz_wi(struct kvm_vcpu *vcpu, struct kvm_exit_mmio *mmio,
76 u32 mmio_data_read(struct kvm_exit_mmio *mmio, u32 mask)  in mmio_data_read()  argument
78 	return le32_to_cpu(*((u32 *)mmio->data)) & mask;  in mmio_data_read()
82 void mmio_data_write(struct kvm_exit_mmio *mmio, u32 mask, u32 value)  in mmio_data_write()  argument
84 	*((u32 *)mmio->data) = cpu_to_le32(value) & mask;  in mmio_data_write()
91 	bool (*handle_mmio)(struct kvm_vcpu *vcpu, struct kvm_exit_mmio *mmio,
110 bool vgic_handle_enable_reg(struct kvm *kvm, struct kvm_exit_mmio *mmio,
113 bool vgic_handle_set_pending_reg(struct kvm *kvm, struct kvm_exit_mmio *mmio,
116 bool vgic_handle_clear_pending_reg(struct kvm *kvm, struct kvm_exit_mmio *mmio,
120 				struct kvm_exit_mmio *mmio,
124 				  struct kvm_exit_mmio *mmio,
127 bool vgic_handle_cfg_reg(u32 *reg, struct kvm_exit_mmio *mmio,