2 * BCM2835 SYS timer emulation
4 * Copyright (c) 2019 Philippe Mathieu-Daudé <f4bug@amsat.org>
6 * SPDX-License-Identifier: GPL-2.0-or-later
9 #ifndef BCM2835_SYSTMR_H
10 #define BCM2835_SYSTMR_H
12 #include "hw/sysbus.h"
14 #include "qemu/timer.h"
15 #include "qom/object.h"
17 #define TYPE_BCM2835_SYSTIMER "bcm2835-sys-timer"
18 OBJECT_DECLARE_SIMPLE_TYPE(BCM2835SystemTimerState
, BCM2835_SYSTIMER
)
20 #define BCM2835_SYSTIMER_COUNT 4
26 BCM2835SystemTimerState
*state
;
27 } BCM2835SystemTimerCompare
;
29 struct BCM2835SystemTimerState
{
31 SysBusDevice parent_obj
;
37 uint32_t compare
[BCM2835_SYSTIMER_COUNT
];
39 BCM2835SystemTimerCompare tmr
[BCM2835_SYSTIMER_COUNT
];