Symbol: kvm_write_system_time
arch/x86/kvm/x86.c
4129
kvm_write_system_time(vcpu, data, false, msr_info->host_initiated);
arch/x86/kvm/x86.c
4135
kvm_write_system_time(vcpu, data, true, msr_info->host_initiated);