Searched refs:tsc_page_gpa (Results 1 – 1 of 1) sorted by relevance
101 static void guest_main(struct ms_hyperv_tsc_page *tsc_page, vm_paddr_t tsc_page_gpa) in guest_main() argument115 wrmsr(HV_X64_MSR_REFERENCE_TSC, tsc_page_gpa); in guest_main()123 wrmsr(HV_X64_MSR_REFERENCE_TSC, tsc_page_gpa | 0x1); in guest_main()