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