/** @file \r
ACPI 5.1 definitions from the ACPI Specification Revision 5.1 July, 2014.\r
\r
- Copyright (c) 2014, Intel Corporation. All rights reserved.<BR>\r
+ Copyright (c) 2014 Hewlett-Packard Development Company, L.P.<BR>\r
+ Copyright (c) 2014 - 2015, Intel Corporation. All rights reserved.<BR>\r
+ (C) Copyright 2015 Hewlett Packard Enterprise Development LP<BR>\r
This program and the accompanying materials \r
are licensed and made available under the terms and conditions of the BSD License \r
which accompanies this distribution. The full text of the license may be found at \r
UINT32 GicId;\r
UINT64 PhysicalBaseAddress;\r
UINT32 SystemVectorBase;\r
- UINT32 Reserved2;\r
+ UINT8 GicVersion;\r
+ UINT8 Reserved2[3];\r
} EFI_ACPI_5_1_GIC_DISTRIBUTOR_STRUCTURE;\r
\r
+///\r
+/// GIC Version\r
+///\r
+#define EFI_ACPI_5_1_GIC_V2 0x01\r
+#define EFI_ACPI_5_1_GIC_V2m 0x02\r
+#define EFI_ACPI_5_1_GIC_V3 0x03\r
+#define EFI_ACPI_5_1_GIC_V4 0x04\r
+\r
///\r
/// GIC MSI Frame Structure\r
///\r
///\r
/// GTDT Version (as defined in ACPI 5.1 spec.)\r
///\r
-#define EFI_ACPI_5_1_GENERIC_TIMER_DESCRIPTION_TABLE_REVISION 0x01\r
+#define EFI_ACPI_5_1_GENERIC_TIMER_DESCRIPTION_TABLE_REVISION 0x02\r
\r
///\r
/// Timer Flags. All other bits are reserved and must be 0.\r
///\r
typedef struct {\r
UINT8 Type;\r
- UINT8 Length;\r
- UINT16 Reserved;\r
+ UINT16 Length;\r
+ UINT8 Reserved;\r
UINT64 RefreshFramePhysicalAddress;\r
UINT64 WatchdogControlFramePhysicalAddress;\r
UINT32 WatchdogTimerGSIV;\r
UINT8 CommandComplete:1;\r
UINT8 SciDoorbell:1;\r
UINT8 Error:1;\r
- UINT8 Reserved:5;\r
+ UINT8 PlatformNotification:1; \r
+ UINT8 Reserved:4;\r
UINT8 Reserved1;\r
} EFI_ACPI_5_1_PCCT_GENERIC_SHARED_MEMORY_REGION_STATUS;\r
\r