Branch data     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_vdso_data
      15                 :      73399 : static __always_inline bool __arch_update_vdso_data(void)
      16                 :            : {
      17                 :      73399 :         return true;
      18                 :            : }
      19                 :            : #endif /* __arch_update_vdso_data */
      20                 :            : 
      21                 :            : #ifndef __arch_get_clock_mode
      22                 :            : static __always_inline int __arch_get_clock_mode(struct timekeeper *tk)
      23                 :            : {
      24                 :            :         return 0;
      25                 :            : }
      26                 :            : #endif /* __arch_get_clock_mode */
      27                 :            : 
      28                 :            : #ifndef __arch_update_vsyscall
      29                 :      73399 : static __always_inline void __arch_update_vsyscall(struct vdso_data *vdata,
      30                 :            :                                                    struct timekeeper *tk)
      31                 :            : {
      32                 :      73399 : }
      33                 :            : #endif /* __arch_update_vsyscall */
      34                 :            : 
      35                 :            : #ifndef __arch_sync_vdso_data
      36                 :      73427 : static __always_inline void __arch_sync_vdso_data(struct vdso_data *vdata)
      37                 :            : {
      38                 :      73427 : }
      39                 :            : #endif /* __arch_sync_vdso_data */
      40                 :            : 
      41                 :            : #endif /* !__ASSEMBLY__ */
      42                 :            : 
      43                 :            : #endif /* __ASM_GENERIC_VSYSCALL_H */