1/* SPDX-License-Identifier: GPL-2.0 */
2/*
3 * Copyright (C) 2005-2017 Andes Technology Corporation
4 */
5
6#ifndef __ASM_VDSO_H
7#define __ASM_VDSO_H
8
9#ifdef __KERNEL__
10
11#ifndef __ASSEMBLY__
12
13#include <generated/vdso-offsets.h>
14
15#define VDSO_SYMBOL(base, name)						   \
16({									   \
17	(unsigned long)(vdso_offset_##name + (unsigned long)(base)); \
18})
19
20#endif /* !__ASSEMBLY__ */
21
22#endif /* __KERNEL__ */
23
24#endif /* __ASM_VDSO_H */
25