Symbol: vgic_its_debug_destroy
arch/arm64/kvm/vgic/vgic-its.c
1908
vgic_its_debug_destroy(kvm_dev);
arch/arm64/kvm/vgic/vgic.h
469
void vgic_its_debug_destroy(struct kvm_device *dev);