165 			       int as, int pid, int pr)  in kvmppc_e500_id_table_reset_one()  argument
170 	BUG_ON(pid >= NUM_TIDS);  in kvmppc_e500_id_table_reset_one()
173 	idt->id[as][pid][pr].val = 0;  in kvmppc_e500_id_table_reset_one()
174 	idt->id[as][pid][pr].pentry = NULL;  in kvmppc_e500_id_table_reset_one()
225 void kvmppc_set_pid(struct kvm_vcpu *vcpu, u32 pid)  in kvmppc_set_pid()  argument
229 	if (vcpu->arch.pid != pid) {  in kvmppc_set_pid()
230 		vcpu_e500->pid[0] = vcpu->arch.pid = pid;  in kvmppc_set_pid()
240 	unsigned int pr, tid, ts, pid;  in kvmppc_e500_tlbil_one()  local
260 		pid = local_sid_lookup(&idt->id[ts][tid][pr]);  in kvmppc_e500_tlbil_one()
261 		if (pid <= 0) {  in kvmppc_e500_tlbil_one()
272 		val = (pid << MAS6_SPID_SHIFT) | MAS6_SAS;  in kvmppc_e500_tlbil_one()