1 /* SPDX-License-Identifier: GPL-2.0 */
2 
3 #ifndef _ASM_S390_PTDUMP_H
4 #define _ASM_S390_PTDUMP_H
5 
6 void ptdump_check_wx(void);
7 
debug_checkwx(void)8 static 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 */
15