Multiply two 64-bit integer values generating a signed 64-bit integer result.
Word64 __LL_LL_mult_int(Word64 sinp1, Word64 sinp2)
long long s1 = 0x000000000000A003; long long s2 = 0x000000000000B005; long long result; result = LL_LL_mult_int (s1, s2); // Expected value of result: 0x000000000000A003 * 0x000000000000B005 = 0x000000006E05300F