Searched refs:clk1hz_tick_offset (Results 1 – 2 of 2) sorted by relevance
153 r = counter_from_tickoff(now, s->clk1hz_tick_offset, 1); in mps2_fpgaio_read()228 s->clk1hz_tick_offset = tickoff_from_counter(now, value, 1); in mps2_fpgaio_write()265 s->clk1hz_tick_offset = tickoff_from_counter(now, 0, 1); in mps2_fpgaio_reset()313 VMSTATE_INT64(clk1hz_tick_offset, MPS2FPGAIO),
58 int64_t clk1hz_tick_offset; member