m1h              2375 src/dps8/dps8_math.c   int128 m1h = rshift_s128 (SIGNEXT72_128(m1), 64);
m1h              2376 src/dps8/dps8_math.c   int128 m3h = multiply_s128 (m1h, m2s); // hi partial product
m1h              2389 src/dps8/dps8_math.c   int128 m1h = SIGNEXT72_128(m1) >> 64;
m1h              2390 src/dps8/dps8_math.c   int128 m3h = m1h * m2s; // hi partial product