HV_TSC_PAGE_GUEST_CHANGED - Linux

Symbol: HV_TSC_PAGE_GUEST_CHANGED

arch/x86/kvm/hyperv.c

return (hv->hv_tsc_page_status != HV_TSC_PAGE_GUEST_CHANGED) &&

arch/x86/kvm/hyperv.c

hv->hv_tsc_page_status = HV_TSC_PAGE_GUEST_CHANGED;