rshift_s128      2367 src/dps8/dps8_math.c   int128 m2s = rshift_s128 (SIGNEXT72_128(m2), 8);
rshift_s128      2371 src/dps8/dps8_math.c   int128 m1h = rshift_s128 (SIGNEXT72_128(m1), 64);
rshift_s128      2376 src/dps8/dps8_math.c   m3l = rshift_s128 (m3l, 63);
rshift_s128        55 src/dps8/dps8_math128.h int128 rshift_s128 (int128 a, unsigned int n);