kvm_vgic_load     353 include/kvm/arm_vgic.h void kvm_vgic_load(struct kvm_vcpu *vcpu);
kvm_vgic_load     388 virt/kvm/arm/arm.c 	kvm_vgic_load(vcpu);