vdso.h 712 B

12345678910111213141516171819202122232425262728293031323334
  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. * Default link address for the vDSO.
  9. * Since we randomise the VDSO mapping, there's little point in trying
  10. * to prelink this.
  11. */
  12. #define VDSO_LBASE 0x0
  13. #define __VVAR_PAGES 2
  14. #ifndef __ASSEMBLY__
  15. #include <generated/vdso-offsets.h>
  16. #ifdef CONFIG_COMPAT_VDSO
  17. #include <generated/vdso32-offsets.h>
  18. #endif
  19. #define VDSO_SYMBOL(base, name) \
  20. ({ \
  21. (void *)(vdso_offset_##name - VDSO_LBASE + (unsigned long)(base)); \
  22. })
  23. extern char vdso_start[], vdso_end[];
  24. extern char vdso32_start[], vdso32_end[];
  25. #endif /* !__ASSEMBLY__ */
  26. #endif /* __ASM_VDSO_H */