SPDX-License-Identifier: BSD-2-Clause-Patent\r
\r
@par Reference(s):\r
- - ACPI 6.2 Specification - Errata A, September 2017\r
+ - ACPI 6.3 Specification - January 2019\r
**/\r
\r
#include <IndustryStandard/Acpi.h>\r
{L"Platform Timer Count", 4, 88, L"%d", NULL,\r
(VOID**)&GtdtPlatformTimerCount, NULL, NULL},\r
{L"Platform Timer Offset", 4, 92, L"0x%x", NULL,\r
- (VOID**)&GtdtPlatformTimerOffset, NULL, NULL}\r
+ (VOID**)&GtdtPlatformTimerOffset, NULL, NULL},\r
+ {L"Virtual EL2 Timer GSIV", 4, 96, L"0x%x", NULL, NULL, NULL, NULL},\r
+ {L"Virtual EL2 Timer Flags", 4, 100, L"0x%x", NULL, NULL, NULL, NULL}\r
};\r
\r
/**\r