kvmppc_find_vcpu
tvcpu = kvmppc_find_vcpu(kvm, target);
tvcpu = kvmppc_find_vcpu(kvm, target);
v = kvmppc_find_vcpu(vcpu->kvm, cpu);
tvcpu = kvmppc_find_vcpu(kvm, vcpu->vcpu_id - thr + arg);
tvcpu = kvmppc_find_vcpu(kvm, vcpuid);