Lines Matching defs:pid
132 /* Map guest pid to shadow.
154 /* Update shadow pid when mappings are changed */
161 int as, int pid, int pr)
166 BUG_ON(pid >= NUM_TIDS);
169 idt->id[as][pid][pr].val = 0;
170 idt->id[as][pid][pr].pentry = NULL;
172 /* Update shadow pid when mappings are changed */
206 /* Update shadow pid when mappings are changed */
221 void kvmppc_set_pid(struct kvm_vcpu *vcpu, u32 pid)
225 if (vcpu->arch.pid != pid) {
226 vcpu_e500->pid[0] = vcpu->arch.pid = pid;
237 int pid;
257 pid = local_sid_lookup(&idt->id[ts][tid][pr]);
258 if (pid <= 0) {
269 val = (pid << MAS6_SPID_SHIFT) | MAS6_SAS;
295 /* Recalc shadow pid since MSR changes */