kvm_update_stolen_time
void kvm_update_stolen_time(struct kvm_vcpu *vcpu);
kvm_update_stolen_time(vcpu);