1 /* SPDX-License-Identifier: GPL-2.0 */ 1
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
13 static inline int pfault_init(void)
14 {
15 if (IS_ENABLED(CONFIG_PFAULT))
16 return __pfault_init();
17 return -EOPNOTSUPP;
18 }
19
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
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.