kvm_init_stolen_time
gpa_t kvm_init_stolen_time(struct kvm_vcpu *vcpu);
gpa = kvm_init_stolen_time(vcpu);