UINT32 ErrorLevel;\r
UINT32 LineNumber;\r
UINTN CharCount;\r
- VA_LIST Marker;\r
+ BASE_LIST Marker;\r
\r
Buffer[0] = '\0';\r
\r
//\r
// Print DEBUG() information into output buffer.\r
//\r
- CharCount = AsciiVSPrint (\r
+ CharCount = AsciiBSPrint (\r
Buffer,\r
EFI_STATUS_CODE_DATA_MAX_SIZE,\r
Format,\r