Searched refs:gtimerdev (Results 1 – 1 of 1) sorted by relevance
51 DeviceState *scudev, *gicdev, *gtimerdev, *mptimerdev, *wdtdev; in a9mp_priv_realize() local99 gtimerdev = DEVICE(&s->gtimer); in a9mp_priv_realize()100 qdev_prop_set_uint32(gtimerdev, "num-cpu", s->num_cpu); in a9mp_priv_realize()