vsyscall.h

 1/* SPDX-License-Identifier: GPL-2.0 */
 2#ifndef __ASM_VDSO_VSYSCALL_H
 3#define __ASM_VDSO_VSYSCALL_H
 4
 5#ifndef __ASSEMBLY__
 6
 7#include <vdso/datapage.h>
 8#include <asm/cacheflush.h>
 9
10static __always_inline
11void __arch_sync_vdso_time_data(struct vdso_time_data *vdata)
12{
13	flush_dcache_page(virt_to_page(vdata));
14}
15#define __arch_sync_vdso_time_data __arch_sync_vdso_time_data
16
17/* The asm-generic header needs to be included after the definitions above */
18#include <asm-generic/vdso/vsyscall.h>
19
20#endif /* !__ASSEMBLY__ */
21
22#endif /* __ASM_VDSO_VSYSCALL_H */