Line data    Source code

       1             : /* SPDX-License-Identifier: GPL-2.0 */
       2             : #ifndef __ASM_GENERIC_VSYSCALL_H
       3             : #define __ASM_GENERIC_VSYSCALL_H
       4             : 
       5             : #ifndef __ASSEMBLY__
       6             : 
       7             : #ifndef __arch_get_k_vdso_data
       8             : static __always_inline struct vdso_data *__arch_get_k_vdso_data(void)
       9             : {
      10             :         return NULL;
      11             : }
      12             : #endif /* __arch_get_k_vdso_data */
      13             : 
      14             : #ifndef __arch_update_vsyscall
      15        8311 : static __always_inline void __arch_update_vsyscall(struct vdso_data *vdata,
      16             :                                                    struct timekeeper *tk)
      17             : {
      18        8311 : }
      19             : #endif /* __arch_update_vsyscall */
      20             : 
      21             : #ifndef __arch_sync_vdso_data
      22        8312 : static __always_inline void __arch_sync_vdso_data(struct vdso_data *vdata)
      23             : {
      24           0 : }
      25             : #endif /* __arch_sync_vdso_data */
      26             : 
      27             : #endif /* !__ASSEMBLY__ */
      28             : 
      29             : #endif /* __ASM_GENERIC_VSYSCALL_H */