2021-05-27 00:09:36 +05:00
|
|
|
/* SPDX-License-Identifier: GPL-2.0-only */
|
|
|
|
|
/*
|
|
|
|
|
* Copyright (C) 2012 ARM Limited
|
|
|
|
|
* Copyright (C) 2014 Regents of the University of California
|
|
|
|
|
* Copyright (C) 2017 SiFive
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
#ifndef _ASM_RISCV_VDSO_H
|
|
|
|
|
#define _ASM_RISCV_VDSO_H
|
|
|
|
|
|
2021-10-02 21:09:28 +05:00
|
|
|
|
|
|
|
|
/*
|
|
|
|
|
* All systems with an MMU have a VDSO, but systems without an MMU don't
|
|
|
|
|
* support shared libraries and therefor don't have one.
|
|
|
|
|
*/
|
|
|
|
|
#ifdef CONFIG_MMU
|
|
|
|
|
|
2021-05-27 00:09:36 +05:00
|
|
|
#include <linux/types.h>
|
2021-10-02 21:09:28 +05:00
|
|
|
#include <generated/vdso-offsets.h>
|
2021-05-27 00:09:36 +05:00
|
|
|
|
|
|
|
|
#ifndef CONFIG_GENERIC_TIME_VSYSCALL
|
|
|
|
|
struct vdso_data {
|
|
|
|
|
};
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
#define VDSO_SYMBOL(base, name) \
|
2021-10-02 21:09:28 +05:00
|
|
|
(void __user *)((unsigned long)(base) + __vdso_##name##_offset)
|
|
|
|
|
|
|
|
|
|
#endif /* CONFIG_MMU */
|
2021-05-27 00:09:36 +05:00
|
|
|
|
|
|
|
|
asmlinkage long sys_riscv_flush_icache(uintptr_t, uintptr_t, uintptr_t);
|
|
|
|
|
|
|
|
|
|
#endif /* _ASM_RISCV_VDSO_H */
|
