Searched refs:nrf51_timer_reset (Results 1 – 1 of 1) sorted by relevance
330 static void nrf51_timer_reset(DeviceState *dev) in nrf51_timer_reset() function391 device_class_set_legacy_reset(dc, nrf51_timer_reset); in nrf51_timer_class_init()