/** @file\r
Report Status Code Library for DXE Phase.\r
\r
- Copyright (c) 2006 - 2009, Intel Corporation. All rights reserved.<BR>\r
+ Copyright (c) 2006 - 2010, Intel Corporation. All rights reserved.<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
#include <Guid/StatusCodeDataTypeDebug.h>\r
\r
//\r
-// Define the maximum extended data size that is supported when a status code is \r
+// Define the maximum extended data size that is supported when a status code is\r
// reported at TPL_HIGH_LEVEL.\r
//\r
#define MAX_EXTENDED_DATA_SIZE 0x200\r
EFI_STATUS Status;\r
EFI_STATUS_CODE_DATA *StatusCodeData;\r
EFI_TPL Tpl;\r
- UINT64 Buffer[MAX_EXTENDED_DATA_SIZE / sizeof (UINT64)];\r
+ UINT64 Buffer[(MAX_EXTENDED_DATA_SIZE / sizeof (UINT64)) + 1];\r
\r
ASSERT (!((ExtendedData == NULL) && (ExtendedDataSize != 0)));\r
ASSERT (!((ExtendedData != NULL) && (ExtendedDataSize == 0)));\r
if (ExtendedDataSize > (MAX_EXTENDED_DATA_SIZE - sizeof (EFI_STATUS_CODE_DATA))) {\r
//\r
// The local variable Buffer not large enough to hold the extended data associated\r
- // with the status code being reported.\r
+ // with the status code being reported.\r
//\r
- ASSERT (FALSE);\r
+ DEBUG ((EFI_D_ERROR, "Status code extended data is too large to be reported!\n"));\r
return EFI_OUT_OF_RESOURCES;\r
}\r
StatusCodeData = (EFI_STATUS_CODE_DATA *)Buffer;\r