Branch data     Line data    Source code

       1                 :            : /* SPDX-License-Identifier: GPL-2.0 */
       2                 :            : #ifndef _ASM_X86_VGTOD_H
       3                 :            : #define _ASM_X86_VGTOD_H
       4                 :            : 
       5                 :            : #include <linux/compiler.h>
       6                 :            : #include <asm/clocksource.h>
       7                 :            : #include <vdso/datapage.h>
       8                 :            : #include <vdso/helpers.h>
       9                 :            : 
      10                 :            : #include <uapi/linux/time.h>
      11                 :            : 
      12                 :            : #ifdef BUILD_VDSO32_64
      13                 :            : typedef u64 gtod_long_t;
      14                 :            : #else
      15                 :            : typedef unsigned long gtod_long_t;
      16                 :            : #endif
      17                 :            : 
      18                 :            : extern int vclocks_used;
      19                 :         11 : static inline bool vclock_was_used(int vclock)
      20                 :            : {
      21         [ -  + ]:         11 :         return READ_ONCE(vclocks_used) & (1 << vclock);
      22                 :            : }
      23                 :            : 
      24                 :            : #endif /* _ASM_X86_VGTOD_H */