162306a36Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */ 262306a36Sopenharmony_ci/* 362306a36Sopenharmony_ci * Copyright (C) 2019 SiFive 462306a36Sopenharmony_ci */ 562306a36Sopenharmony_ci 662306a36Sopenharmony_ci#ifndef _ASM_RISCV_PTDUMP_H 762306a36Sopenharmony_ci#define _ASM_RISCV_PTDUMP_H 862306a36Sopenharmony_ci 962306a36Sopenharmony_civoid ptdump_check_wx(void); 1062306a36Sopenharmony_ci 1162306a36Sopenharmony_ci#ifdef CONFIG_DEBUG_WX 1262306a36Sopenharmony_cistatic inline void debug_checkwx(void) 1362306a36Sopenharmony_ci{ 1462306a36Sopenharmony_ci ptdump_check_wx(); 1562306a36Sopenharmony_ci} 1662306a36Sopenharmony_ci#else 1762306a36Sopenharmony_cistatic inline void debug_checkwx(void) 1862306a36Sopenharmony_ci{ 1962306a36Sopenharmony_ci} 2062306a36Sopenharmony_ci#endif 2162306a36Sopenharmony_ci 2262306a36Sopenharmony_ci#endif /* _ASM_RISCV_PTDUMP_H */ 23