Searched refs:clk100hz_tick_offset (Results 1 – 2 of 2) sorted by relevance
157 r = counter_from_tickoff(now, s->clk100hz_tick_offset, 100); in mps2_fpgaio_read()232 s->clk100hz_tick_offset = tickoff_from_counter(now, value, 100); in mps2_fpgaio_write()266 s->clk100hz_tick_offset = tickoff_from_counter(now, 0, 100); in mps2_fpgaio_reset()314 VMSTATE_INT64(clk100hz_tick_offset, MPS2FPGAIO),
59 int64_t clk100hz_tick_offset; member