17 #define hv_init_timer_config(timer, val) \  argument
20 #define hv_get_simp(val) rdmsrl(HV_X64_MSR_SIMP, val)  argument
21 #define hv_set_simp(val) wrmsrl(HV_X64_MSR_SIMP, val)  argument
23 #define hv_get_siefp(val) rdmsrl(HV_X64_MSR_SIEFP, val)  argument
24 #define hv_set_siefp(val) wrmsrl(HV_X64_MSR_SIEFP, val)  argument
26 #define hv_get_synic_state(val) rdmsrl(HV_X64_MSR_SCONTROL, val)  argument
27 #define hv_set_synic_state(val) wrmsrl(HV_X64_MSR_SCONTROL, val)  argument
33 #define hv_get_synint_state(int_num, val) \  argument
35 #define hv_set_synint_state(int_num, val) \  argument
38 #define hv_get_crash_ctl(val) \  argument
41 #define hv_get_time_ref_count(val) \  argument
44 #define hv_get_reference_tsc(val) \  argument
46 #define hv_set_reference_tsc(val) \  argument
48 #define hv_set_clocksource_vdso(val) \  argument