Searched refs:reg_ticcnt (Results 1 – 1 of 1) sorted by relevance
98 uint32_t reg_ticcnt; member128 VMSTATE_UINT32(reg_ticcnt, Exynos4210RTCState),284 ptimer_set_count(s->ptimer, s->reg_ticcnt); in exynos4210_rtc_tick()324 value = s->reg_ticcnt; in exynos4210_rtc_read()425 (s->reg_ticcnt)) { in exynos4210_rtc_write()426 ptimer_set_count(s->ptimer, s->reg_ticcnt); in exynos4210_rtc_write()441 s->reg_ticcnt = value; in exynos4210_rtc_write()533 s->reg_ticcnt = 0; in exynos4210_rtc_reset()