vdso_datapage.h 444 B

1234567891011121314151617181920212223242526
  1. /* SPDX-License-Identifier: GPL-2.0-only */
  2. /*
  3. * Adapted from arm64 version.
  4. *
  5. * Copyright (C) 2012 ARM Limited
  6. */
  7. #ifndef __ASM_VDSO_DATAPAGE_H
  8. #define __ASM_VDSO_DATAPAGE_H
  9. #ifdef __KERNEL__
  10. #ifndef __ASSEMBLY__
  11. #include <vdso/datapage.h>
  12. #include <asm/page.h>
  13. union vdso_data_store {
  14. struct vdso_data data[CS_BASES];
  15. u8 page[PAGE_SIZE];
  16. };
  17. #endif /* !__ASSEMBLY__ */
  18. #endif /* __KERNEL__ */
  19. #endif /* __ASM_VDSO_DATAPAGE_H */