multiplicand 1200 dev/ic/rln.c int32_t multiplicand = 0x80000181; multiplicand 1213 dev/ic/rln.c res = (int64_t)multiplicand * key;