tjh.dev
Linux kernel mirror (for testing)
git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
kernel
os
linux
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 */