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
15static inline bool is_vdso_map(const char *filename)
16{
17	return !strcmp(filename, VDSO__MAP_NAME);
18}
19
20struct dso;
21
22bool dso__is_vdso(struct dso *dso);
23
24struct machine;
25struct thread;
26
27struct dso *machine__findnew_vdso(struct machine *machine, struct thread *thread);
28void machine__exit_vdso(struct machine *machine);
29
30#endif /* __PERF_VDSO__ */
31