linux/arch/x86/include/asm/vdso/vsyscall.h
<<
>>
Prefs
   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/hrtimer.h>
   8#include <linux/timekeeper_internal.h>
   9#include <vdso/datapage.h>
  10#include <asm/vgtod.h>
  11#include <asm/vvar.h>
  12
  13DEFINE_VVAR(struct vdso_data, _vdso_data);
  14/*
  15 * Update the vDSO data page to keep in sync with kernel timekeeping.
  16 */
  17static __always_inline
  18struct vdso_data *__x86_get_k_vdso_data(void)
  19{
  20        return _vdso_data;
  21}
  22#define __arch_get_k_vdso_data __x86_get_k_vdso_data
  23
  24/* The asm-generic header needs to be included after the definitions above */
  25#include <asm-generic/vdso/vsyscall.h>
  26
  27#endif /* !__ASSEMBLY__ */
  28
  29#endif /* __ASM_VDSO_VSYSCALL_H */
  30