1 /* SPDX-License-Identifier: GPL-2.0-only */
3 * Copyright (C) 2014 ARM Ltd.
8 #ifdef CONFIG_ARM64_PTDUMP_CORE
10 #include <linux/mm_types.h>
11 #include <linux/seq_file.h>
14 unsigned long start_address;
20 const struct addr_marker *markers;
21 unsigned long base_addr;
24 void ptdump_walk_pgd(struct seq_file *s, struct ptdump_info *info);
25 #ifdef CONFIG_ARM64_PTDUMP_DEBUGFS
26 void ptdump_debugfs_register(struct ptdump_info *info, const char *name);
28 static inline void ptdump_debugfs_register(struct ptdump_info *info,
31 void ptdump_check_wx(void);
32 #endif /* CONFIG_ARM64_PTDUMP_CORE */
34 #ifdef CONFIG_DEBUG_WX
35 #define debug_checkwx() ptdump_check_wx()
37 #define debug_checkwx() do { } while (0)
40 #endif /* __ASM_PTDUMP_H */