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#define VCLOCK_NONE	0	/* No vDSO clock available.		*/
 8#define VCLOCK_TSC	1	/* vDSO should use vread_tsc.		*/
 9#define VCLOCK_PVCLOCK	2	/* vDSO should use vread_pvclock.	*/
10#define VCLOCK_HVCLOCK	3	/* vDSO should use vread_hvclock.	*/
11#define VCLOCK_MAX	3
12
13struct arch_clocksource_data {
14	int vclock_mode;
15};
 
 
16
17#endif /* _ASM_X86_CLOCKSOURCE_H */

 
 1/* x86-specific clocksource additions */
 2
 3#ifndef _ASM_X86_CLOCKSOURCE_H
 4#define _ASM_X86_CLOCKSOURCE_H
 5
 6#ifdef CONFIG_X86_64
 7
 8#define VCLOCK_NONE 0  /* No vDSO clock available.	*/
 9#define VCLOCK_TSC  1  /* vDSO should use vread_tsc.	*/
10#define VCLOCK_HPET 2  /* vDSO should use vread_hpet.	*/
11
12struct arch_clocksource_data {
13	int vclock_mode;
14};
15
16#endif /* CONFIG_X86_64 */
17
18#endif /* _ASM_X86_CLOCKSOURCE_H */