Symbol: its_free_vcpu_irqs
arch/arm64/kvm/vgic/vgic-v4.c
336
its_free_vcpu_irqs(its_vm);
include/linux/irqchip/arm-gic-v4.h
142
void its_free_vcpu_irqs(struct its_vm *vm);