1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef _ASM_S390_PROTOTYPES_H
3
4#include <linux/kvm_host.h>
5#include <linux/ftrace.h>
6#include <asm/fpu.h>
7#include <asm-generic/asm-prototypes.h>
8
9__int128_t __ashlti3(__int128_t a, int b);
10__int128_t __ashrti3(__int128_t a, int b);
11__int128_t __lshrti3(__int128_t a, int b);
12
13#endif /* _ASM_S390_PROTOTYPES_H */
14