19 #define hv_init_timer_config(timer, val) \  argument
22 #define hv_get_simp(val) rdmsrl(HV_X64_MSR_SIMP, val)  argument
23 #define hv_set_simp(val) wrmsrl(HV_X64_MSR_SIMP, val)  argument
25 #define hv_get_siefp(val) rdmsrl(HV_X64_MSR_SIEFP, val)  argument
26 #define hv_set_siefp(val) wrmsrl(HV_X64_MSR_SIEFP, val)  argument
28 #define hv_get_synic_state(val) rdmsrl(HV_X64_MSR_SCONTROL, val)  argument
29 #define hv_set_synic_state(val) wrmsrl(HV_X64_MSR_SCONTROL, val)  argument
35 #define hv_get_synint_state(int_num, val) \  argument
37 #define hv_set_synint_state(int_num, val) \  argument
42 #define hv_get_crash_ctl(val) \  argument
45 #define hv_get_time_ref_count(val) \  argument
48 #define hv_get_reference_tsc(val) \  argument
50 #define hv_set_reference_tsc(val) \  argument
52 #define hv_set_clocksource_vdso(val) \  argument