| /* SPDX-License-Identifier: GPL-2.0-only */ |
| * Copyright (C) 2014 ARM Ltd. |
| #ifdef CONFIG_PTDUMP_CORE |
| #include <linux/mm_types.h> |
| #include <linux/seq_file.h> |
| unsigned long start_address; |
| const struct addr_marker *markers; |
| void ptdump_walk(struct seq_file *s, struct ptdump_info *info); |
| #ifdef CONFIG_PTDUMP_DEBUGFS |
| void ptdump_debugfs_register(struct ptdump_info *info, const char *name); |
| static inline void ptdump_debugfs_register(struct ptdump_info *info, |
| void ptdump_check_wx(void); |
| #endif /* CONFIG_PTDUMP_CORE */ |
| #define debug_checkwx() ptdump_check_wx() |
| #define debug_checkwx() do { } while (0) |
| #endif /* __ASM_PTDUMP_H */ |