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
10int __pfault_init(void);
11void __pfault_fini(void);
12
13static inline int pfault_init(void)
14{
15	if (IS_ENABLED(CONFIG_PFAULT))
16		return __pfault_init();
17	return -EOPNOTSUPP;
18}
19
20static inline void pfault_fini(void)
21{
22	if (IS_ENABLED(CONFIG_PFAULT))
23		__pfault_fini();
24}
25
26#endif /* _ASM_S390_PFAULT_H */
27