Symbol: gicv5_its_device_unregister
drivers/irqchip/irq-gic-v5-its.c
792
gicv5_its_device_unregister(its, its_dev);
drivers/irqchip/irq-gic-v5-its.c
837
gicv5_its_device_unregister(its, its_dev);