include/asm/clocksource.h

0001 /* SPDX-License-Identifier: GPL-2.0 */
0002 /* x86-specific clocksource additions */
0003
0004 #ifndef _ASM_X86_CLOCKSOURCE_H
0005 #define _ASM_X86_CLOCKSOURCE_H
0006
0007 #include <asm/vdso/clocksource.h>
0008
0009 extern unsigned int vclocks_used;
0010
0011 static inline bool vclock_was_used(int vclock)
0012 {
0013     return READ_ONCE(vclocks_used) & (1U << vclock);
0014 }
0015
0016 static inline void vclocks_set_used(unsigned int which)
0017 {
0018     WRITE_ONCE(vclocks_used, READ_ONCE(vclocks_used) | (1 << which));
0019 }
0020
0021 #endif /* _ASM_X86_CLOCKSOURCE_H */