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
17 #include <generated/vdso-offsets.h>
18 #ifdef CONFIG_COMPAT_VDSO
19 #include <generated/vdso32-offsets.h>
22 #define VDSO_SYMBOL(base, name) \
24 (void *)(vdso_offset_##name - VDSO_LBASE + (unsigned long)(base)); \
27 #endif /* !__ASSEMBLY__ */
29 #endif /* __ASM_VDSO_H */