/* This function traces 8 bytes of data as specified by the format string. */
VOID EFIAPI DumpUint64(IN CONST CHAR16 *Format, IN UINT8 *Ptr)
/* This function traces 8 bytes of data as specified by the format string. */
VOID EFIAPI DumpUint64(IN CONST CHAR16 *Format, IN UINT8 *Ptr)
{
  UINT64  Val;
  Val = *(UINT32 *)(Ptr + sizeof (UINT32));
  Val  = LShiftU64 (Val, 32);
  Val |= (UINT64)*(UINT32 *)Ptr;
  Print (Format, Val);
}