Searched refs:vgic_v3_reset (Results 1 – 2 of 2) sorted by relevance
| /linux/arch/arm64/kvm/vgic/ | ||
| H A D | vgic-init.c | 417 vgic_v3_reset(vcpu); in kvm_vgic_vcpu_reset() |
| H A D | vgic-v3.c | 466 void vgic_v3_reset(struct kvm_vcpu *vcpu) in vgic_v3_reset() function |