1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 /* 3 * Copyright (C) 2012 ARM Limited 4 */ 5 #ifndef __ASM_VDSO_H 6 #define __ASM_VDSO_H 7 8 #define __VVAR_PAGES 2 9 10 #ifndef __ASSEMBLY__ 11 12 #include <generated/vdso-offsets.h> 13 14 #define VDSO_SYMBOL(base, name) \ 15 ({ \ 16 (void *)(vdso_offset_##name + (unsigned long)(base)); \ 17 }) 18 19 extern char vdso_start[], vdso_end[]; 20 extern char vdso32_start[], vdso32_end[]; 21 22 #endif /* !__ASSEMBLY__ */ 23 24 #endif /* __ASM_VDSO_H */ 25