1 /* SPDX-License-Identifier: GPL-2.0-only */
3 * Copyright (C) 2012 ARM Limited
12 #include <generated/vdso-offsets.h>
14 #define VDSO_SYMBOL(base, name) \
16 (void *)(vdso_offset_##name + (unsigned long)(base)); \
19 extern char vdso_start
[], vdso_end
[];
20 extern char vdso32_start
[], vdso32_end
[];
22 #endif /* !__ASSEMBLY__ */
24 #endif /* __ASM_VDSO_H */