Multiply two 16-bit integer values generating a 32-bit integer result.
inline Word32 __L_mult_int(register Word16 sinp1, Word16 sinp2)
#include <intrinsics_56800E.h> ... int s1 = 0x2000;/* 8192 */ int s2 = 0x2000;/* 8192 */ long result; result = _L_mult_int (s1, s2); // Expected value of result : 8192 * 8192 = 67108864 = 0x04000000