/* SPDX-License-Identifier: GPL-2.0 */
#ifndef _S390_LIB_TISHIFT_H
#define _S390_LIB_TISHIFT_H

__int128_t __ashlti3(__int128_t a, int b);
__int128_t __ashrti3(__int128_t a, int b);
__int128_t __lshrti3(__int128_t a, int b);

#endif /* _S390_LIB_TISHIFT_H */