1 /* SPDX-License-Identifier: GPL-2.0 */ 2 /* 3 * Copyright (C) 2019 SiFive 4 */ 5 6 #ifndef _ASM_RISCV_PTDUMP_H 7 #define _ASM_RISCV_PTDUMP_H 8 9 void ptdump_check_wx(void); 10 11 #ifdef CONFIG_DEBUG_WX debug_checkwx(void)12static inline void debug_checkwx(void) 13 { 14 ptdump_check_wx(); 15 } 16 #else debug_checkwx(void)17static inline void debug_checkwx(void) 18 { 19 } 20 #endif 21 22 #endif /* _ASM_RISCV_PTDUMP_H */ 23