1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef _ASM_POWERPC_VDSO_VSYSCALL_H
3#define _ASM_POWERPC_VDSO_VSYSCALL_H
4
5#ifndef __ASSEMBLY__
6
7#include <linux/timekeeper_internal.h>
8#include <asm/vdso_datapage.h>
9
10/*
11 * Update the vDSO data page to keep in sync with kernel timekeeping.
12 */
13static __always_inline
14struct vdso_data *__arch_get_k_vdso_data(void)
15{
16	return vdso_data->data;
17}
18#define __arch_get_k_vdso_data __arch_get_k_vdso_data
19
20/* The asm-generic header needs to be included after the definitions above */
21#include <asm-generic/vdso/vsyscall.h>
22
23#endif /* !__ASSEMBLY__ */
24
25#endif /* _ASM_POWERPC_VDSO_VSYSCALL_H */
26