uint64_t __int64_lsr_asgn(uint64_t *arg, int bits);
__int64_lsr_asgn updates the 64-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.