forked from ~ljy/RK3588_XEN
| commit | author | age | ||
| a07526 | 1 | /* SPDX-License-Identifier: GPL-2.0-only */ |
| H | 2 | /* |
| 3 | * Copyright (C) 2012 ARM Limited | |
| 4 | */ | |
| 5 | #ifndef __ASM_VDSO_H | |
| 6 | #define __ASM_VDSO_H | |
| 7 | ||
| 8 | /* | |
| 9 | * Default link address for the vDSO. | |
| 10 | * Since we randomise the VDSO mapping, there's little point in trying | |
| 11 | * to prelink this. | |
| 12 | */ | |
| 13 | #define VDSO_LBASE 0x0 | |
| 14 | ||
| 15 | #define __VVAR_PAGES 2 | |
| 2f529f | 16 | #ifdef CONFIG_GENERIC_CLOCKSOURCE_VDSO |
| H | 17 | #define __VPRIV_PAGES 1 |
| 18 | #else | |
| 19 | #define __VPRIV_PAGES 0 | |
| 20 | #endif | |
| a07526 | 21 | |
| H | 22 | #ifndef __ASSEMBLY__ |
| 23 | ||
| 24 | #include <generated/vdso-offsets.h> | |
| 25 | #ifdef CONFIG_COMPAT_VDSO | |
| 26 | #include <generated/vdso32-offsets.h> | |
| 27 | #endif | |
| 28 | ||
| 29 | #define VDSO_SYMBOL(base, name) \ | |
| 30 | ({ \ | |
| 31 | (void *)(vdso_offset_##name - VDSO_LBASE + (unsigned long)(base)); \ | |
| 32 | }) | |
| 33 | ||
| 34 | #endif /* !__ASSEMBLY__ */ | |
| 35 | ||
| 36 | #endif /* __ASM_VDSO_H */ | |
