arch/x86/include/asm/clocksource.h

   1 /* SPDX-License-Identifier: GPL-2.0 */
   2 /* x86-specific clocksource additions */
   3
   4 #ifndef _ASM_X86_CLOCKSOURCE_H
   5 #define _ASM_X86_CLOCKSOURCE_H
   6
   7 #include <asm/vdso/clocksource.h>
   8
   9 extern unsigned int vclocks_used;
  10
  11 static inline bool vclock_was_used(int vclock)
  12 {
  13         return READ_ONCE(vclocks_used) & (1U << vclock);
  14 }
  15
  16 static inline void vclocks_set_used(unsigned int which)
  17 {
  18         WRITE_ONCE(vclocks_used, READ_ONCE(vclocks_used) | (1 << which));
  19 }
  20
  21 #endif /* _ASM_X86_CLOCKSOURCE_H */