hw/misc/mps2-fpgaio.c

52 static void resync_counter(MPS2FPGAIO *s)  in resync_counter()
125     MPS2FPGAIO *s = MPS2_FPGAIO(opaque);  in mps2_fpgaio_read()
189     MPS2FPGAIO *s = MPS2_FPGAIO(opaque);  in mps2_fpgaio_write()
258     MPS2FPGAIO *s = MPS2_FPGAIO(dev);  in mps2_fpgaio_reset()
279     MPS2FPGAIO *s = MPS2_FPGAIO(obj);  in mps2_fpgaio_init()
288     MPS2FPGAIO *s = MPS2_FPGAIO(dev);  in mps2_fpgaio_realize()
309         VMSTATE_UINT32(led0, MPS2FPGAIO),
310         VMSTATE_UINT32(prescale, MPS2FPGAIO),
311         VMSTATE_UINT32(misc, MPS2FPGAIO),
312         VMSTATE_UINT32(dbgctrl, MPS2FPGAIO),
313         VMSTATE_INT64(clk1hz_tick_offset, MPS2FPGAIO),
314         VMSTATE_INT64(clk100hz_tick_offset, MPS2FPGAIO),
315         VMSTATE_UINT32(counter, MPS2FPGAIO),
316         VMSTATE_UINT32(pscntr, MPS2FPGAIO),
317         VMSTATE_INT64(pscntr_sync_ticks, MPS2FPGAIO),
324     DEFINE_PROP_UINT32("prescale-clk", MPS2FPGAIO, prescale_clk, 20000000),
326     DEFINE_PROP_UINT32("num-leds", MPS2FPGAIO, num_leds, 2),
327     DEFINE_PROP_BOOL("has-switches", MPS2FPGAIO, has_switches, false),
328     DEFINE_PROP_BOOL("has-dbgctrl", MPS2FPGAIO, has_dbgctrl, false),
345     .instance_size = sizeof(MPS2FPGAIO),