108c8e685SHeiko Carstens /* SPDX-License-Identifier: GPL-2.0 */ 208c8e685SHeiko Carstens 308c8e685SHeiko Carstens #ifndef _ASM_S390_PTDUMP_H 408c8e685SHeiko Carstens #define _ASM_S390_PTDUMP_H 508c8e685SHeiko Carstens 608c8e685SHeiko Carstens void ptdump_check_wx(void); 708c8e685SHeiko Carstens debug_checkwx(void)808c8e685SHeiko Carstensstatic inline void debug_checkwx(void) 908c8e685SHeiko Carstens { 1008c8e685SHeiko Carstens if (IS_ENABLED(CONFIG_DEBUG_WX)) 1108c8e685SHeiko Carstens ptdump_check_wx(); 1208c8e685SHeiko Carstens } 1308c8e685SHeiko Carstens 1408c8e685SHeiko Carstens #endif /* _ASM_S390_PTDUMP_H */ 15