Searched refs:wdtimerdev (Results 1 – 1 of 1) sorted by relevance
78 DeviceState *wdtimerdev = DEVICE(&s->wdtimer); in mpcore_priv_realize() local106 qdev_prop_set_uint32(wdtimerdev, "num-cpu", s->num_cpu); in mpcore_priv_realize()