include/hw/timer/bcm2835_systmr.h

   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