xref: /linux/arch/x86/include/asm/hyperv_timer.h (revision f9bff0e31881d03badf191d3b0005839391f5f2b)
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