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
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