shift32RightJamming
static __inline void shift32RightJamming( bits32 a, int16 count, bits32 *zPtr )
INLINE void shift32RightJamming( bits32 a, int16 count, bits32 *zPtr )