Line data    Source code

       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           1 : static inline bool vclock_was_used(int vclock)
      12             : {
      13           1 :         return READ_ONCE(vclocks_used) & (1U << vclock);
      14             : }
      15             : 
      16           1 : static inline void vclocks_set_used(unsigned int which)
      17             : {
      18           1 :         WRITE_ONCE(vclocks_used, READ_ONCE(vclocks_used) | (1 << which));
      19             : }
      20             : 
      21             : #endif /* _ASM_X86_CLOCKSOURCE_H */