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