kvm_hv_request_tsc_page_update
void kvm_hv_request_tsc_page_update(struct kvm *kvm);
kvm_hv_request_tsc_page_update(kvm);