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/api.h>
7 #include <asm-generic/asm-prototypes.h>
8 
9 #endif /* _ASM_S390_PROTOTYPES_H */
10