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)12 static inline void debug_checkwx(void)
13 {
14 	ptdump_check_wx();
15 }
16 #else
debug_checkwx(void)17 static inline void debug_checkwx(void)
18 {
19 }
20 #endif
21 
22 #endif /* _ASM_RISCV_PTDUMP_H */
23