/* This function multiples the 64-bit unsigned value Multiplicand by the 32-bit unsigned value Multiplier and generates a 64-bit unsigned result. This 64- bit unsigned result is returned. */
UINT64 EFIAPI InternalMathMultU64x32(IN UINT64 Multiplicand, IN UINT32 Multiplier)
/* This function multiples the 64-bit unsigned value Multiplicand by the 32-bit unsigned value Multiplier and generates a 64-bit unsigned result. This 64- bit unsigned result is returned. */
UINT64 EFIAPI InternalMathMultU64x32(IN UINT64 Multiplicand, IN UINT32 Multiplier)
{
  _asm {
    mov     ecx, Multiplier
    mov     eax, ecx
    imul    ecx, dword ptr [Multiplicand + 4]
    mul     dword ptr [Multiplicand + 0]
    add     edx, ecx
  }
}