add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
/* SPDX-License-Identifier: GPL-2.0-only */
/*
 * Copyright (C) 2014 ARM Ltd.
 */
#ifndef __ASM_PTDUMP_H
#define __ASM_PTDUMP_H
 
#ifdef CONFIG_PTDUMP_CORE
 
#include <linux/mm_types.h>
#include <linux/seq_file.h>
 
struct addr_marker {
    unsigned long start_address;
    char *name;
};
 
struct ptdump_info {
    struct mm_struct        *mm;
    const struct addr_marker    *markers;
    unsigned long            base_addr;
};
 
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);
#else
static inline void ptdump_debugfs_register(struct ptdump_info *info,
                       const char *name) { }
#endif
void ptdump_check_wx(void);
#endif /* CONFIG_PTDUMP_CORE */
 
#ifdef CONFIG_DEBUG_WX
#define debug_checkwx()    ptdump_check_wx()
#else
#define debug_checkwx()    do { } while (0)
#endif
 
#endif /* __ASM_PTDUMP_H */