Symbol: kvm_vgic_cpu_up
arch/arm64/kvm/arm.c
2241
kvm_vgic_cpu_up();
include/kvm/arm_vgic.h
461
void kvm_vgic_cpu_up(void);