kvmppc_set_pid    427 arch/powerpc/include/asm/kvm_ppc.h void kvmppc_set_pid(struct kvm_vcpu *vcpu, u32 pid);
kvmppc_set_pid   1474 arch/powerpc/kvm/booke.c 	kvmppc_set_pid(vcpu, regs->pid);
kvmppc_set_pid    213 arch/powerpc/kvm/e500_emulate.c 		kvmppc_set_pid(vcpu, spr_val);