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 <linux/timekeeper_internal.h> 8 #include <vdso/datapage.h> 9 10 extern struct vdso_data *vdso_data; 11 12 /* 13 * Update the vDSO data page to keep in sync with kernel timekeeping. 14 */ 15 static __always_inline 16 struct vdso_data *__mips_get_k_vdso_data(void) 17 { 18 return vdso_data; 19 } 20 #define __arch_get_k_vdso_data __mips_get_k_vdso_data 21 22 static __always_inline 23 int __mips_get_clock_mode(struct timekeeper *tk) 24 { 25 u32 clock_mode = tk->tkr_mono.clock->archdata.vdso_clock_mode; 26 27 return clock_mode; 28 } 29 #define __arch_get_clock_mode __mips_get_clock_mode 30 31 static __always_inline 32 int __mips_use_vsyscall(struct vdso_data *vdata) 33 { 34 return (vdata[CS_HRES_COARSE].clock_mode != VDSO_CLOCK_NONE); 35 } 36 #define __arch_use_vsyscall __mips_use_vsyscall 37 38 /* The asm-generic header needs to be included after the definitions above */ 39 #include <asm-generic/vdso/vsyscall.h> 40 41 #endif /* !__ASSEMBLY__ */ 42 43 #endif /* __ASM_VDSO_VSYSCALL_H */ 44