1 /* SPDX-License-Identifier: GPL-2.0 */
2 /* Copyright (C) 2014 ARM Ltd. */
6 #ifdef CONFIG_ARM_PTDUMP_CORE
8 #include <linux/mm_types.h>
9 #include <linux/seq_file.h>
12 unsigned long start_address
;
18 const struct addr_marker
*markers
;
19 unsigned long base_addr
;
22 void ptdump_walk_pgd(struct seq_file
*s
, struct ptdump_info
*info
);
23 #ifdef CONFIG_ARM_PTDUMP_DEBUGFS
24 int ptdump_debugfs_register(struct ptdump_info
*info
, const char *name
);
26 static inline int ptdump_debugfs_register(struct ptdump_info
*info
,
31 #endif /* CONFIG_ARM_PTDUMP_DEBUGFS */
33 void ptdump_check_wx(void);
35 #endif /* CONFIG_ARM_PTDUMP_CORE */
37 #ifdef CONFIG_DEBUG_WX
38 #define debug_checkwx() ptdump_check_wx()
40 #define debug_checkwx() do { } while (0)
43 #endif /* __ASM_PTDUMP_H */