Searched refs:vgic_v2_deactivate (Results 1 – 2 of 2) sorted by relevance
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