1 /* 2 * BCM2835 SYS timer emulation 3 * 4 * Copyright (c) 2019 Philippe Mathieu-Daudé <f4bug@amsat.org> 5 * 6 * SPDX-License-Identifier: GPL-2.0-or-later 7 */ 8 9 #ifndef BCM2835_SYSTIMER_H 10 #define BCM2835_SYSTIMER_H 11 12 #include "hw/sysbus.h" 13 #include "hw/irq.h" 14 #include "qom/object.h" 15 16 #define TYPE_BCM2835_SYSTIMER "bcm2835-sys-timer" 17 OBJECT_DECLARE_SIMPLE_TYPE(BCM2835SystemTimerState, BCM2835_SYSTIMER) 18 19 struct BCM2835SystemTimerState { 20 /*< private >*/ 21 SysBusDevice parent_obj; 22 23 /*< public >*/ 24 MemoryRegion iomem; 25 qemu_irq irq; 26 27 struct { 28 uint32_t status; 29 uint32_t compare[4]; 30 } reg; 31 }; 32 33 #endif 34