Searched refs:timerbusdev (Results 1 – 1 of 1) sorted by relevance
33 SysBusDevice *timerbusdev = SYS_BUS_DEVICE(&s->mptimer); in mpcore_priv_map_setup() local53 sysbus_mmio_get_region(timerbusdev, i)); in mpcore_priv_map_setup()64 sysbus_connect_irq(timerbusdev, i, in mpcore_priv_map_setup()