Searched refs:vgic_v2_reset (Results 1 – 3 of 3) sorted by relevance
290 void vgic_v2_reset(struct kvm_vcpu *vcpu);
370 vgic_v2_reset(vcpu); in kvm_vgic_vcpu_reset()
394 void vgic_v2_reset(struct kvm_vcpu *vcpu) in vgic_v2_reset() function