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 */