161 			       int as, int pid, int pr)  in kvmppc_e500_id_table_reset_one()  argument
166 	BUG_ON(pid >= NUM_TIDS);  in kvmppc_e500_id_table_reset_one()
169 	idt->id[as][pid][pr].val = 0;  in kvmppc_e500_id_table_reset_one()
170 	idt->id[as][pid][pr].pentry = NULL;  in kvmppc_e500_id_table_reset_one()
221 void kvmppc_set_pid(struct kvm_vcpu *vcpu, u32 pid)  in kvmppc_set_pid()  argument
225 	if (vcpu->arch.pid != pid) {  in kvmppc_set_pid()
226 		vcpu_e500->pid[0] = vcpu->arch.pid = pid;  in kvmppc_set_pid()
237 	int pid;  in kvmppc_e500_tlbil_one()  local
257 		pid = local_sid_lookup(&idt->id[ts][tid][pr]);  in kvmppc_e500_tlbil_one()
258 		if (pid <= 0) {  in kvmppc_e500_tlbil_one()
269 		val = (pid << MAS6_SPID_SHIFT) | MAS6_SAS;  in kvmppc_e500_tlbil_one()