GTDT Table Generator\r
\r
Copyright (c) 2017 - 2019, ARM Limited. All rights reserved.\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
- http://opensource.org/licenses/bsd-license.php\r
-\r
- THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
- WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
+ SPDX-License-Identifier: BSD-2-Clause-Patent\r
\r
@par Reference(s):\r
- ACPI 6.2 Specification - Errata A, September 2017\r
GtBlockFrame\r
));\r
\r
+ if (GTBlockTimerFrameList->FrameNumber >= 8) {\r
+ DEBUG ((\r
+ DEBUG_ERROR,\r
+ "ERROR: GTDT: Frame number %d is not in the range 0-7\n",\r
+ GTBlockTimerFrameList->FrameNumber\r
+ ));\r
+ return EFI_INVALID_PARAMETER;\r
+ }\r
+\r
GtBlockFrame->GTFrameNumber = GTBlockTimerFrameList->FrameNumber;\r
GtBlockFrame->Reserved[0] = EFI_ACPI_RESERVED_BYTE;\r
GtBlockFrame->Reserved[1] = EFI_ACPI_RESERVED_BYTE;\r
CfgMgrProtocol,\r
This,\r
&Gtdt->Header,\r
- AcpiTableInfo->AcpiTableRevision,\r
+ AcpiTableInfo,\r
TableSize\r
);\r
if (EFI_ERROR (Status)) {\r