1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _ASM_X86_HYPERV_TIMER_H
3 #define _ASM_X86_HYPERV_TIMER_H
4 
5 #include <asm/msr.h>
6 
7 #define hv_get_raw_timer() rdtsc_ordered()
8 
9 #endif
10