Symbol: kvm_write_wall_clock
arch/x86/kvm/x86.c
4096
kvm_write_wall_clock(vcpu->kvm, data, 0);
arch/x86/kvm/x86.c
4103
kvm_write_wall_clock(vcpu->kvm, data, 0);