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 */ 22