Symbol: kvm_vgic_load
arch/arm64/kvm/arm.c
1031
kvm_vgic_load(vcpu);
arch/arm64/kvm/arm.c
676
kvm_vgic_load(vcpu);
include/kvm/arm_vgic.h
408
void kvm_vgic_load(struct kvm_vcpu *vcpu);