1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifndef __ASM_VDSO_VSYSCALL_H 3 #define __ASM_VDSO_VSYSCALL_H 4 5 #include <vdso/datapage.h> 6 #include <asm/cacheflush.h> 7 8 static __always_inline 9 void __arch_sync_vdso_time_data(struct vdso_time_data *vdata) 10 { 11 flush_dcache_page(virt_to_page(vdata)); 12 } 13 #define __arch_sync_vdso_time_data __arch_sync_vdso_time_data 14 15 #endif /* __ASM_VDSO_VSYSCALL_H */ 16