Multiply a 64-bit integer value with a 32-bit integer value, generating a 64-bit result.
Word64 __LL_mult_ls_int(Word64 linp1, Word32 sinp2)
long long s1 = 0x00000000A0030000; long s2 = 0x0000B005; long long result; result = LL_mult_ls_int (s1, s2); // Expected value of result: 0x00000000A0030000 * 0x0000B005 = 0x00006E05300F0000