162306a36Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */
262306a36Sopenharmony_ci#ifndef _ASM_POWERPC_VDSO_VSYSCALL_H
362306a36Sopenharmony_ci#define _ASM_POWERPC_VDSO_VSYSCALL_H
462306a36Sopenharmony_ci
562306a36Sopenharmony_ci#ifndef __ASSEMBLY__
662306a36Sopenharmony_ci
762306a36Sopenharmony_ci#include <linux/timekeeper_internal.h>
862306a36Sopenharmony_ci#include <asm/vdso_datapage.h>
962306a36Sopenharmony_ci
1062306a36Sopenharmony_ci/*
1162306a36Sopenharmony_ci * Update the vDSO data page to keep in sync with kernel timekeeping.
1262306a36Sopenharmony_ci */
1362306a36Sopenharmony_cistatic __always_inline
1462306a36Sopenharmony_cistruct vdso_data *__arch_get_k_vdso_data(void)
1562306a36Sopenharmony_ci{
1662306a36Sopenharmony_ci	return vdso_data->data;
1762306a36Sopenharmony_ci}
1862306a36Sopenharmony_ci#define __arch_get_k_vdso_data __arch_get_k_vdso_data
1962306a36Sopenharmony_ci
2062306a36Sopenharmony_ci/* The asm-generic header needs to be included after the definitions above */
2162306a36Sopenharmony_ci#include <asm-generic/vdso/vsyscall.h>
2262306a36Sopenharmony_ci
2362306a36Sopenharmony_ci#endif /* !__ASSEMBLY__ */
2462306a36Sopenharmony_ci
2562306a36Sopenharmony_ci#endif /* _ASM_POWERPC_VDSO_VSYSCALL_H */
26