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 |