vdso.h 781 B

1234567891011121314151617181920212223242526272829303132
  1. /* SPDX-License-Identifier: GPL-2.0-only */
  2. /*
  3. * Copyright (C) 2012 ARM Limited
  4. * Copyright (C) 2014 Regents of the University of California
  5. * Copyright (C) 2017 SiFive
  6. */
  7. #ifndef _ASM_RISCV_VDSO_H
  8. #define _ASM_RISCV_VDSO_H
  9. #include <linux/types.h>
  10. #include <generated/vdso-offsets.h>
  11. #ifndef CONFIG_GENERIC_TIME_VSYSCALL
  12. struct vdso_data {
  13. };
  14. #endif
  15. #define VDSO_SYMBOL(base, name) \
  16. (void __user *)((unsigned long)(base) + __vdso_##name##_offset)
  17. #ifdef CONFIG_COMPAT
  18. #include <generated/compat_vdso-offsets.h>
  19. #define COMPAT_VDSO_SYMBOL(base, name) \
  20. (void __user *)((unsigned long)(base) + compat__vdso_##name##_offset)
  21. #endif /* CONFIG_COMPAT */
  22. asmlinkage long sys_riscv_flush_icache(uintptr_t, uintptr_t, uintptr_t);
  23. #endif /* _ASM_RISCV_VDSO_H */