Symbol: its_reset_one
drivers/irqchip/irq-gic-v3-its.c
5569
err = its_reset_one(&res);
drivers/irqchip/irq-gic-v3-its.c
5771
return its_reset_one(&res);