Searched refs:gtimerbusdev (Results 1 – 1 of 1) sorted by relevance
52 SysBusDevice *scubusdev, *gicbusdev, *gtimerbusdev, *mptimerbusdev, in a9mp_priv_realize() local104 gtimerbusdev = SYS_BUS_DEVICE(&s->gtimer); in a9mp_priv_realize()135 sysbus_mmio_get_region(gtimerbusdev, 0)); in a9mp_priv_realize()152 sysbus_connect_irq(gtimerbusdev, i, in a9mp_priv_realize()