Searched refs:cmsdk_apb_timer_reset (Results 1 – 1 of 1) sorted by relevance
193 static void cmsdk_apb_timer_reset(DeviceState *dev) in cmsdk_apb_timer_reset() function270 device_class_set_legacy_reset(dc, cmsdk_apb_timer_reset); in cmsdk_apb_timer_class_init()