2 Service Processor Management Interface (SPMI) ACPI table definition from
3 Intelligent Platform Management Interface Specification Second Generation.
5 Copyright (c) 2018, Intel Corporation. All rights reserved.<BR>
6 SPDX-License-Identifier: BSD-2-Clause-Patent
8 @par Revision Reference:
9 - Intelligent Platform Management Interface Specification Second Generation
10 v2.0 Revision 1.1, Dated October 2013.
11 https://www.intel.com/content/dam/www/public/us/en/documents/specification-updates/ipmi-intelligent-platform-mgt-interface-spec-2nd-gen-v2-0-spec-update.pdf
14 #ifndef _SERVICE_PROCESSOR_MANAGEMENT_INTERFACE_TABLE_H_
15 #define _SERVICE_PROCESSOR_MANAGEMENT_INTERFACE_TABLE_H_
17 #include <IndustryStandard/Acpi.h>
22 /// Definition for the device identification information used by the Service
23 /// Processor Management Interface Description Table
27 /// For PCI IPMI device
36 /// For non-PCI IPMI device, the ACPI _UID value of the device
39 } EFI_ACPI_SERVICE_PROCESSOR_MANAGEMENT_INTERFACE_TABLE_DEVICE_ID
;
42 /// Definition for Service Processor Management Interface Description Table
45 EFI_ACPI_DESCRIPTION_HEADER Header
;
47 /// Indicates the type of IPMI interface.
51 /// This field must always be 01h to be compatible with any software that
52 /// implements previous versions of this spec.
56 /// Identifies the IPMI specification revision, in BCD format.
58 UINT16 SpecificationRevision
;
60 /// Interrupt type(s) used by the interface.
64 /// The bit assignment of the SCI interrupt within the GPEx_STS register of a
65 /// GPE described if the FADT that the interface triggers.
69 /// Reserved, must be 00h.
77 /// The I/O APIC or I/O SAPIC Global System Interrupt used by the interface.
79 UINT32 GlobalSystemInterrupt
;
81 /// The base address of the interface register set described using the
82 /// Generic Address Structure (GAS, See [ACPI 2.0] for the definition).
84 EFI_ACPI_2_0_GENERIC_ADDRESS_STRUCTURE BaseAddress
;
86 /// Device identification information.
88 EFI_ACPI_SERVICE_PROCESSOR_MANAGEMENT_INTERFACE_TABLE_DEVICE_ID DeviceId
;
90 /// This field must always be null (0x00) to be compatible with any software
91 /// that implements previous versions of this spec.
94 } EFI_ACPI_SERVICE_PROCESSOR_MANAGEMENT_INTERFACE_TABLE
;