Searched refs:arm_mptimer_reset (Results 1 – 1 of 1) sorted by relevance
230 static void arm_mptimer_reset(DeviceState *dev) in arm_mptimer_reset() function314 device_class_set_legacy_reset(dc, arm_mptimer_reset); in arm_mptimer_class_init()