__lshrti3
long long __lshrti3(long long a, int b);
__int128_t __lshrti3(__int128_t a, int b);
long long __lshrti3(long long a, int b);
EXPORT_SYMBOL(__lshrti3);
__int128_t __lshrti3(__int128_t a, int b);