kvm_mips_read_count_running
return kvm_mips_read_count_running(vcpu, ktime_get());
*count = kvm_mips_read_count_running(vcpu, now);
count = kvm_mips_read_count_running(vcpu, now);
count = kvm_mips_read_count_running(vcpu, now);