1184610Salfred/* SPDX-License-Identifier: GPL-2.0 */ 2184610Salfred#ifndef __ASM_VDSO_VSYSCALL_H 3184610Salfred#define __ASM_VDSO_VSYSCALL_H 4184610Salfred 5184610Salfred#ifndef __ASSEMBLY__ 6184610Salfred 7184610Salfred#include <linux/timekeeper_internal.h> 8184610Salfred#include <vdso/datapage.h> 9184610Salfred 10184610Salfredextern struct vdso_data *vdso_data; 11184610Salfred 12184610Salfred/* 13184610Salfred * Update the vDSO data page to keep in sync with kernel timekeeping. 14184610Salfred */ 15184610Salfredstatic __always_inline 16184610Salfredstruct vdso_data *__mips_get_k_vdso_data(void) 17184610Salfred{ 18184610Salfred return vdso_data; 19184610Salfred} 20184610Salfred#define __arch_get_k_vdso_data __mips_get_k_vdso_data 21184610Salfred 22184610Salfred/* The asm-generic header needs to be included after the definitions above */ 23184610Salfred#include <asm-generic/vdso/vsyscall.h> 24184610Salfred 25184610Salfred#endif /* !__ASSEMBLY__ */ 26184610Salfred 27184610Salfred#endif /* __ASM_VDSO_VSYSCALL_H */ 28184610Salfred