1/* SPDX-License-Identifier: GPL-2.0 */
 2
 3#ifndef _ASM_S390_PTDUMP_H
 4#define _ASM_S390_PTDUMP_H
 5
 6void ptdump_check_wx(void);
 7
 8static inline void debug_checkwx(void)
 9{
10	if (IS_ENABLED(CONFIG_DEBUG_WX))
11		ptdump_check_wx();
12}
13
14#endif /* _ASM_S390_PTDUMP_H */