2 * SPDX-License-Identifier: GPL-2.0-or-later
6 * (c) 2020 Laurent Vivier <laurent@vivier.eu>
10 #ifndef HW_INTC_GOLDFISH_PIC_H
11 #define HW_INTC_GOLDFISH_PIC_H
13 #include "hw/sysbus.h"
15 #define TYPE_GOLDFISH_PIC "goldfish_pic"
16 OBJECT_DECLARE_SIMPLE_TYPE(GoldfishPICState
, GOLDFISH_PIC
)
18 #define GOLDFISH_PIC_IRQ_NB 32
20 struct GoldfishPICState
{
21 SysBusDevice parent_obj
;
30 uint64_t stats_irq_count
[32];