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);