its_create_device 2537 drivers/irqchip/irq-gic-v3-its.c 	its_dev = its_create_device(its, dev_id, nvec, true);
its_create_device 3514 drivers/irqchip/irq-gic-v3-its.c 	vpe_proxy.dev = its_create_device(its, devid, entries, false);