Searched refs:intidbase (Results 1 – 2 of 2) sorted by relevance
480 int intidbase = NUM_IRQS + i * GIC_INTERNAL; in create_gic() local497 intidbase + timer_irq[irq])); in create_gic()502 intidbase in create_gic()507 intidbase in create_gic()
812 int intidbase = NUM_IRQS + i * GIC_INTERNAL; in create_gic() local826 intidbase + timer_irq[irq])); in create_gic()831 intidbase + ARCH_GIC_MAINT_IRQ); in create_gic()836 intidbase + ARCH_GIC_MAINT_IRQ); in create_gic()841 qdev_get_gpio_in(vms->gic, intidbase in create_gic()