Searched refs:gicsbd (Results 1 – 1 of 1) sorted by relevance
287 SysBusDevice *gicsbd = SYS_BUS_DEVICE(&mms->gic); in create_gic() local315 sysbus_connect_irq(gicsbd, i, in create_gic()317 sysbus_connect_irq(gicsbd, i + machine->smp.cpus, in create_gic()319 sysbus_connect_irq(gicsbd, i + 2 * machine->smp.cpus, in create_gic()321 sysbus_connect_irq(gicsbd, i + 3 * machine->smp.cpus, in create_gic()