uint32_t __int32_lsr_asgn(uint32_t *arg, int bits);
__int32_lsr_asgn updates the 32-bit unsigned integer pointed to by arg by logically shifting it right by bits bit positions, shifting in zeros from the right. The shifted value is returned as the result.