Searched refs:kvm_vgic_vcpu_reset (Results 1 – 1 of 1) sorted by relevance
367 static void kvm_vgic_vcpu_reset(struct kvm_vcpu *vcpu) in kvm_vgic_vcpu_reset() function419 kvm_vgic_vcpu_reset(vcpu); in vgic_init()