1 /*
2  *
3  * Copyright (c) 2018 Intel Corporation
4  * Copyright (c) 2019 Huawei Technologies R & D (UK) Ltd
5  * Written by Samuel Ortiz, Shameer Kolothum
6  *
7  * This program is free software; you can redistribute it and/or modify it
8  * under the terms and conditions of the GNU General Public License,
9  * version 2 or later, as published by the Free Software Foundation.
10  *
11  * The ACPI Generic Event Device (GED) is a hardware-reduced specific
12  * device[ACPI v6.1 Section 5.6.9] that handles all platform events,
13  * including the hotplug ones. Generic Event Device allows platforms
14  * to handle interrupts in ACPI ASL statements. It follows a very
15  * similar approach like the _EVT method from GPIO events. All
16  * interrupts are listed in  _CRS and the handler is written in _EVT
17  * method. Here, we use a single interrupt for the GED device, relying
18  * on IO memory region to communicate the type of device affected by
19  * the interrupt. This way, we can support up to 32 events with a
20  * unique interrupt.
21  *
22  * Here is an example.
23  *
24  * Device (\_SB.GED)
25  * {
26  *     Name (_HID, "ACPI0013")
27  *     Name (_UID, Zero)
28  *     Name (_CRS, ResourceTemplate ()
29  *     {
30  *         Interrupt (ResourceConsumer, Edge, ActiveHigh, Exclusive, ,, )
31  *         {
32  *              0x00000029,
33  *         }
34  *     })
35  *     OperationRegion (EREG, SystemMemory, 0x09080000, 0x04)
36  *     Field (EREG, DWordAcc, NoLock, WriteAsZeros)
37  *     {
38  *         ESEL,   32
39  *     }
40  *
41  *     Method (_EVT, 1, Serialized)  // _EVT: Event
42  *     {
43  *         Local0 = ESEL // ESEL = IO memory region which specifies the
44  *                       // device type.
45  *         If (((Local0 & One) == One))
46  *         {
47  *             MethodEvent1()
48  *         }
49  *         If ((Local0 & 0x2) == 0x2)
50  *         {
51  *             MethodEvent2()
52  *         }
53  *         ...
54  *     }
55  * }
56  *
57  */
58 
59 #ifndef HW_ACPI_GED_H
60 #define HW_ACPI_GED_H
61 
62 #include "hw/sysbus.h"
63 #include "hw/acpi/memory_hotplug.h"
64 #include "hw/acpi/ghes.h"
65 
66 #define ACPI_POWER_BUTTON_DEVICE "PWRB"
67 
68 #define TYPE_ACPI_GED "acpi-ged"
69 #define ACPI_GED(obj) \
70     OBJECT_CHECK(AcpiGedState, (obj), TYPE_ACPI_GED)
71 
72 #define ACPI_GED_EVT_SEL_OFFSET    0x0
73 #define ACPI_GED_EVT_SEL_LEN       0x4
74 
75 #define GED_DEVICE      "GED"
76 #define AML_GED_EVT_REG "EREG"
77 #define AML_GED_EVT_SEL "ESEL"
78 
79 /*
80  * Platforms need to specify the GED event bitmap
81  * to describe what kind of events they want to support
82  * through GED.
83  */
84 #define ACPI_GED_MEM_HOTPLUG_EVT   0x1
85 #define ACPI_GED_PWR_DOWN_EVT      0x2
86 #define ACPI_GED_NVDIMM_HOTPLUG_EVT 0x4
87 
88 typedef struct GEDState {
89     MemoryRegion io;
90     uint32_t     sel;
91 } GEDState;
92 
93 typedef struct AcpiGedState {
94     SysBusDevice parent_obj;
95     MemHotplugState memhp_state;
96     MemoryRegion container_memhp;
97     GEDState ged_state;
98     uint32_t ged_event_bitmap;
99     qemu_irq irq;
100     AcpiGhesState ghes_state;
101 } AcpiGedState;
102 
103 void build_ged_aml(Aml *table, const char* name, HotplugHandler *hotplug_dev,
104                    uint32_t ged_irq, AmlRegionSpace rs, hwaddr ged_base);
105 
106 #endif
107