1 /* SPDX-License-Identifier: GPL-2.0-only */
3 * Copyright (C) 2012 ARM Limited
9 * Default link address for the vDSO.
10 * Since we randomise the VDSO mapping, there's little point in trying
13 #define VDSO_LBASE 0x0
15 #define __VVAR_PAGES 2
19 #include <generated/vdso-offsets.h>
20 #ifdef CONFIG_COMPAT_VDSO
21 #include <generated/vdso32-offsets.h>
24 #define VDSO_SYMBOL(base, name) \
26 (void *)(vdso_offset_##name - VDSO_LBASE + (unsigned long)(base)); \
29 #endif /* !__ASSEMBLY__ */
31 #endif /* __ASM_VDSO_H */