Multiply two 64-bit integer values and add to 64-bit integer value, generating a 64-bit result.
Word64 __LL_LL_mac_int(Word64 laccum, Word64 sinp1, Word64 sinp2)
long long s1 = 0x000000000000A003; long long s2 = 0x000000000000B005; long long s = 0x00000000D0008000; long long result; result = LL_LL_mac_int (s, s1, s2); // Expected value of result: 0x00000000D0008000 + 0x000000000000A003 * 0x000000000000B005 = 0x00000001305B00F