/* This function computes the value of the highest bit set in the 64-bit value specified by Operand. If Operand is zero, then zero is returned. */
UINT64 EFIAPI GetPowerOfTwo64(IN UINT64 Operand)
/* This function computes the value of the highest bit set in the 64-bit value specified by Operand. If Operand is zero, then zero is returned. */
UINT64 EFIAPI GetPowerOfTwo64(IN UINT64 Operand)
{
  if (Operand == 0) {
    return 0;
  }
  return LShiftU64 (1, (UINTN)HighBitSet64 (Operand));
}