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