1 /* SPDX-License-Identifier: GPL-2.0 */
2 /*
3  *    Copyright IBM Corp. 1999, 2023
4  */
5 #ifndef _ASM_S390_PFAULT_H
6 #define _ASM_S390_PFAULT_H
7 
8 #include <linux/errno.h>
9 
10 int __pfault_init(void);
11 void __pfault_fini(void);
12 
pfault_init(void)13 static inline int pfault_init(void)
14 {
15 	if (IS_ENABLED(CONFIG_PFAULT))
16 		return __pfault_init();
17 	return -EOPNOTSUPP;
18 }
19 
pfault_fini(void)20 static inline void pfault_fini(void)
21 {
22 	if (IS_ENABLED(CONFIG_PFAULT))
23 		__pfault_fini();
24 }
25 
26 #endif /* _ASM_S390_PFAULT_H */
27