1 /* SPDX-License-Identifier: GPL-2.0-only */
3 * Copyright (C) 2012 ARM Limited
11 * Default link address for the vDSO.
12 * Since we randomise the VDSO mapping, there's little point in trying
15 #define VDSO_LBASE 0x0
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 /* __KERNEL__ */
33 #endif /* __ASM_VDSO_H */