/* SPDX-License-Identifier: GPL-2.0 */

#ifndef _ASM_S390_PTDUMP_H
#define _ASM_S390_PTDUMP_H

void ptdump_check_wx(void);

static inline void debug_checkwx(void)
{
	if (IS_ENABLED(CONFIG_DEBUG_WX))
		ptdump_check_wx();
}

#endif /* _ASM_S390_PTDUMP_H */