its_vpeid_ida     171 drivers/irqchip/irq-gic-v3-its.c static DEFINE_IDA(its_vpeid_ida);
its_vpeid_ida    3006 drivers/irqchip/irq-gic-v3-its.c 	return ida_simple_get(&its_vpeid_ida, 0, ITS_MAX_VPEID, GFP_KERNEL);
its_vpeid_ida    3011 drivers/irqchip/irq-gic-v3-its.c 	ida_simple_remove(&its_vpeid_ida, id);