Searched refs:cmsdk_apb_timer_reset (Results 1 – 2 of 2) sorted by relevance
193 static void cmsdk_apb_timer_reset(DeviceState *dev) in cmsdk_apb_timer_reset() function270 dc->reset = cmsdk_apb_timer_reset; in cmsdk_apb_timer_class_init()
45 cmsdk_apb_timer_reset(void) "CMSDK APB timer: reset"