2 * ARM MPS2 AN505 FPGAIO emulation
4 * Copyright (c) 2018 Linaro Limited
5 * Written by Peter Maydell
7 * This program is free software; you can redistribute it and/or modify
8 * it under the terms of the GNU General Public License version 2 or
9 * (at your option) any later version.
12 /* This is a model of the "FPGA system control and I/O" block found
13 * in the AN505 FPGA image for the MPS2 devboard.
14 * It is documented in AN505:
15 * https://developer.arm.com/documentation/dai0505/latest/
18 #include "qemu/osdep.h"
20 #include "qemu/module.h"
21 #include "qapi/error.h"
23 #include "hw/sysbus.h"
24 #include "migration/vmstate.h"
25 #include "hw/registerfields.h"
26 #include "hw/misc/mps2-fpgaio.h"
27 #include "hw/misc/led.h"
28 #include "hw/qdev-properties.h"
29 #include "qemu/timer.h"
42 static uint32_t counter_from_tickoff(int64_t now
, int64_t tick_offset
, int frq
)
44 return muldiv64(now
- tick_offset
, frq
, NANOSECONDS_PER_SECOND
);
47 static int64_t tickoff_from_counter(int64_t now
, uint32_t count
, int frq
)
49 return now
- muldiv64(count
, NANOSECONDS_PER_SECOND
, frq
);
52 static void resync_counter(MPS2FPGAIO
*s
)
55 * Update s->counter and s->pscntr to their true current values
56 * by calculating how many times PSCNTR has ticked since the
57 * last time we did a resync.
59 int64_t now
= qemu_clock_get_ns(QEMU_CLOCK_VIRTUAL
);
60 int64_t elapsed
= now
- s
->pscntr_sync_ticks
;
63 * Round elapsed down to a whole number of PSCNTR ticks, so we don't
64 * lose time if we do multiple resyncs in a single tick.
66 uint64_t ticks
= muldiv64(elapsed
, s
->prescale_clk
, NANOSECONDS_PER_SECOND
);
69 * Work out what PSCNTR and COUNTER have moved to. We assume that
70 * PSCNTR reloads from PRESCALE one tick-period after it hits zero,
71 * and that COUNTER increments at the same moment.
74 /* We haven't ticked since the last time we were asked */
76 } else if (ticks
< s
->pscntr
) {
77 /* We haven't yet reached zero, just reduce the PSCNTR */
80 if (s
->prescale
== 0) {
82 * If the reload value is zero then the PSCNTR will stick
83 * at zero once it reaches it, and so we will increment
84 * COUNTER every tick after that.
86 s
->counter
+= ticks
- s
->pscntr
;
90 * This is the complicated bit. This ASCII art diagram gives an
91 * example with PRESCALE==5 PSCNTR==7:
93 * ticks 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14
94 * PSCNTR 7 6 5 4 3 2 1 0 5 4 3 2 1 0 5
96 * y 0 1 2 3 4 5 6 7 8 9 10 11 12
97 * x 0 1 2 3 4 5 0 1 2 3 4 5 0
99 * where x = y % (s->prescale + 1)
100 * and so PSCNTR = s->prescale - x
101 * and COUNTER is incremented by y / (s->prescale + 1)
103 * The case where PSCNTR < PRESCALE works out the same,
104 * though we must be careful to calculate y as 64-bit unsigned
105 * for all parts of the expression.
106 * y < 0 is not possible because that implies ticks < s->pscntr.
108 uint64_t y
= ticks
- s
->pscntr
+ s
->prescale
;
109 s
->pscntr
= s
->prescale
- (y
% (s
->prescale
+ 1));
110 s
->counter
+= y
/ (s
->prescale
+ 1);
115 * Only advance the sync time to the timestamp of the last PSCNTR tick,
116 * not all the way to 'now', so we don't lose time if we do multiple
117 * resyncs in a single tick.
119 s
->pscntr_sync_ticks
+= muldiv64(ticks
, NANOSECONDS_PER_SECOND
,
123 static uint64_t mps2_fpgaio_read(void *opaque
, hwaddr offset
, unsigned size
)
125 MPS2FPGAIO
*s
= MPS2_FPGAIO(opaque
);
134 if (!s
->has_dbgctrl
) {
140 /* User-pressable board buttons. We don't model that, so just return
152 now
= qemu_clock_get_ns(QEMU_CLOCK_VIRTUAL
);
153 r
= counter_from_tickoff(now
, s
->clk1hz_tick_offset
, 1);
156 now
= qemu_clock_get_ns(QEMU_CLOCK_VIRTUAL
);
157 r
= counter_from_tickoff(now
, s
->clk100hz_tick_offset
, 100);
168 if (!s
->has_switches
) {
171 /* User-togglable board switches. We don't model that, so report 0. */
176 qemu_log_mask(LOG_GUEST_ERROR
,
177 "MPS2 FPGAIO read: bad offset %x\n", (int) offset
);
182 trace_mps2_fpgaio_read(offset
, r
, size
);
186 static void mps2_fpgaio_write(void *opaque
, hwaddr offset
, uint64_t value
,
189 MPS2FPGAIO
*s
= MPS2_FPGAIO(opaque
);
192 trace_mps2_fpgaio_write(offset
, value
, size
);
196 if (s
->num_leds
!= 0) {
199 s
->led0
= value
& MAKE_64BIT_MASK(0, s
->num_leds
);
200 for (i
= 0; i
< s
->num_leds
; i
++) {
201 led_set_state(s
->led
[i
], value
& (1 << i
));
206 if (!s
->has_dbgctrl
) {
209 qemu_log_mask(LOG_UNIMP
,
210 "MPS2 FPGAIO: DBGCTRL unimplemented\n");
218 /* These are control bits for some of the other devices on the
219 * board (SPI, CLCD, etc). We don't implement that yet, so just
220 * make the bits read as written.
222 qemu_log_mask(LOG_UNIMP
,
223 "MPS2 FPGAIO: MISC control bits unimplemented\n");
227 now
= qemu_clock_get_ns(QEMU_CLOCK_VIRTUAL
);
228 s
->clk1hz_tick_offset
= tickoff_from_counter(now
, value
, 1);
231 now
= qemu_clock_get_ns(QEMU_CLOCK_VIRTUAL
);
232 s
->clk100hz_tick_offset
= tickoff_from_counter(now
, value
, 100);
244 qemu_log_mask(LOG_GUEST_ERROR
,
245 "MPS2 FPGAIO write: bad offset 0x%x\n", (int) offset
);
250 static const MemoryRegionOps mps2_fpgaio_ops
= {
251 .read
= mps2_fpgaio_read
,
252 .write
= mps2_fpgaio_write
,
253 .endianness
= DEVICE_LITTLE_ENDIAN
,
256 static void mps2_fpgaio_reset(DeviceState
*dev
)
258 MPS2FPGAIO
*s
= MPS2_FPGAIO(dev
);
259 int64_t now
= qemu_clock_get_ns(QEMU_CLOCK_VIRTUAL
);
261 trace_mps2_fpgaio_reset();
265 s
->clk1hz_tick_offset
= tickoff_from_counter(now
, 0, 1);
266 s
->clk100hz_tick_offset
= tickoff_from_counter(now
, 0, 100);
269 s
->pscntr_sync_ticks
= now
;
271 for (size_t i
= 0; i
< s
->num_leds
; i
++) {
272 device_cold_reset(DEVICE(s
->led
[i
]));
276 static void mps2_fpgaio_init(Object
*obj
)
278 SysBusDevice
*sbd
= SYS_BUS_DEVICE(obj
);
279 MPS2FPGAIO
*s
= MPS2_FPGAIO(obj
);
281 memory_region_init_io(&s
->iomem
, obj
, &mps2_fpgaio_ops
, s
,
282 "mps2-fpgaio", 0x1000);
283 sysbus_init_mmio(sbd
, &s
->iomem
);
286 static void mps2_fpgaio_realize(DeviceState
*dev
, Error
**errp
)
288 MPS2FPGAIO
*s
= MPS2_FPGAIO(dev
);
291 if (s
->num_leds
> MPS2FPGAIO_MAX_LEDS
) {
292 error_setg(errp
, "num-leds cannot be greater than %d",
293 MPS2FPGAIO_MAX_LEDS
);
297 for (i
= 0; i
< s
->num_leds
; i
++) {
298 g_autofree
char *ledname
= g_strdup_printf("USERLED%d", i
);
299 s
->led
[i
] = led_create_simple(OBJECT(dev
), GPIO_POLARITY_ACTIVE_HIGH
,
300 LED_COLOR_GREEN
, ledname
);
304 static const VMStateDescription mps2_fpgaio_vmstate
= {
305 .name
= "mps2-fpgaio",
307 .minimum_version_id
= 3,
308 .fields
= (const VMStateField
[]) {
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
),
318 VMSTATE_END_OF_LIST()
322 static Property mps2_fpgaio_properties
[] = {
323 /* Frequency of the prescale counter */
324 DEFINE_PROP_UINT32("prescale-clk", MPS2FPGAIO
, prescale_clk
, 20000000),
325 /* Number of LEDs controlled by LED0 register */
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),
329 DEFINE_PROP_END_OF_LIST(),
332 static void mps2_fpgaio_class_init(ObjectClass
*klass
, void *data
)
334 DeviceClass
*dc
= DEVICE_CLASS(klass
);
336 dc
->vmsd
= &mps2_fpgaio_vmstate
;
337 dc
->realize
= mps2_fpgaio_realize
;
338 dc
->reset
= mps2_fpgaio_reset
;
339 device_class_set_props(dc
, mps2_fpgaio_properties
);
342 static const TypeInfo mps2_fpgaio_info
= {
343 .name
= TYPE_MPS2_FPGAIO
,
344 .parent
= TYPE_SYS_BUS_DEVICE
,
345 .instance_size
= sizeof(MPS2FPGAIO
),
346 .instance_init
= mps2_fpgaio_init
,
347 .class_init
= mps2_fpgaio_class_init
,
350 static void mps2_fpgaio_register_types(void)
352 type_register_static(&mps2_fpgaio_info
);
355 type_init(mps2_fpgaio_register_types
);