*ErrorLevel = DebugInfo->ErrorLevel;\r
\r
//\r
- // Here the address returned in Marker is 64-bit aligned.\r
+ // The first 12 * sizeof (UINT64) bytes following EFI_DEBUG_INFO are for variable arguments\r
+ // of format in DEBUG string. Its address is returned in Marker and has to be 64-bit aligned.\r
// It must be noticed that EFI_DEBUG_INFO follows EFI_STATUS_CODE_DATA, whose size is\r
// 20 bytes. The size of EFI_DEBUG_INFO is 4 bytes, so we can ensure that Marker\r
// returned is 64-bit aligned.\r
// cause unalignment exception.\r
//\r
*Marker = (BASE_LIST) (DebugInfo + 1);\r
- //\r
- // The first 12 * UINTN bytes of the string are really an\r
- // argument stack to support varargs on the Format string.\r
- //\r
*Format = (CHAR8 *)(((UINT64 *)*Marker) + 12);\r
\r
return TRUE;\r