Symbol: kvm_vgic_cpu_down
arch/arm64/kvm/arm.c
2252
kvm_vgic_cpu_down();
include/kvm/arm_vgic.h
462
void kvm_vgic_cpu_down(void);