/* Helper function to convert a UINT64 value in binary to a string. */
VOID Uint64ToBinString(IN UINT64 Value, OUT CHAR8 *BinString)
/* Helper function to convert a UINT64 value in binary to a string. */
VOID Uint64ToBinString(IN UINT64 Value, OUT CHAR8 *BinString)
{
  UINTN  Index;
  if (BinString == NULL) {
    return;
  }
  for (Index = 64; Index > 0; --Index) {
    BinString[Index - 1] = '0' + (Value & 1);
    Value                = RShiftU64 (Value, 1);
  }
  BinString[64] = '\0';
}