Searched refs:vgic_v2_deactivate (Results 1 – 3 of 3) sorted by relevance
280 void vgic_v2_deactivate(struct kvm_vcpu *vcpu, u32 val);
367 vgic_v2_deactivate(vcpu, val); in vgic_mmio_write_dir()
151 void vgic_v2_deactivate(struct kvm_vcpu *vcpu, u32 val) in vgic_v2_deactivate() function