Multiply two 32-bit integer values and add to 64-bit integer value, generating a 64-bit result.
Word64 __LL_mac_int(Word64 laccum, Word32 sinp1, Word32 sinp2)
long s1 = 0x0000A003; long s2 = 0x0000B005; long long s = 0x00000000D0008000; long long result; result = LL_mac_int (s, s1, s2); // Expected value of result: 0x00000000D0008000 + 0x0000A003 * 0x0000B005 = 0x00000001305B00F