Multiply two 32-bit integer values generating a signed 64-bit integer result.
Word64 __LL_mult_int(Word32 sinp1, Word32 sinp2)
long s1 = 0x0000A003; long s2 = 0x0000B005; long long result; result = LL_mult_int (s1, s2); // Expected value of result: 0x0000A003 * 0x0000B005 = 0x000000006E05300F