\r
*ErrorLevel = DebugInfo->ErrorLevel;\r
\r
+ //\r
+ // Here the address returned in Marker is 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
+ // 64-bit aligned is a must, otherwise retrieving 64-bit parameter from BASE_LIST will\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
- *Marker = (BASE_LIST) (DebugInfo + 1);\r
*Format = (CHAR8 *)(((UINT64 *)*Marker) + 12);\r
\r
return TRUE;\r