1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef __PERF_VDSO__
3 #define __PERF_VDSO__
4 
5 #include <linux/types.h>
6 #include <string.h>
7 #include <stdbool.h>
8 
9 #define VDSO__MAP_NAME "[vdso]"
10 
11 #define DSO__NAME_VDSO    "[vdso]"
12 #define DSO__NAME_VDSO32  "[vdso32]"
13 #define DSO__NAME_VDSOX32 "[vdsox32]"
14 
is_vdso_map(const char * filename)15 static inline bool is_vdso_map(const char *filename)
16 {
17 	return !strcmp(filename, VDSO__MAP_NAME);
18 }
19 
20 struct dso;
21 
22 bool dso__is_vdso(struct dso *dso);
23 
24 struct machine;
25 struct thread;
26 
27 struct dso *machine__findnew_vdso(struct machine *machine, struct thread *thread);
28 void machine__exit_vdso(struct machine *machine);
29 
30 #endif /* __PERF_VDSO__ */
31