/* This function multiplies the 64-bit signed value Multiplicand by the 64-bit signed value Multiplier and generates a 64-bit signed result. This 64-bit signed result is returned. */
INT64 EFIAPI MultS64x64(IN INT64 Multiplicand, IN INT64 Multiplier)
/* This function multiplies the 64-bit signed value Multiplicand by the 64-bit signed value Multiplier and generates a 64-bit signed result. This 64-bit signed result is returned. */
INT64 EFIAPI MultS64x64(IN INT64 Multiplicand, IN INT64 Multiplier)
{
  return (INT64)MultU64x64 ((UINT64)Multiplicand, (UINT64)Multiplier);
}