161 			       int as, int pid, int pr)  in kvmppc_e500_id_table_reset_one()  argument
167 	BUG_ON(pr >= 2);  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()
177  * Map guest (vcpu,AS,ID,PR) to physical core shadow id.
187 				 unsigned int pr, int avoid_recursion)  in kvmppc_e500_get_sid()  argument
194 	BUG_ON(pr >= 2);  in kvmppc_e500_get_sid()
196 	sid = local_sid_lookup(&idt->id[as][gid][pr]);  in kvmppc_e500_get_sid()
200 		sid = local_sid_setup_one(&idt->id[as][gid][pr]);  in kvmppc_e500_get_sid()
236 	unsigned int pr, tid, ts;  in kvmppc_e500_tlbil_one()  local
247 	for (pr = 0; pr < 2; pr++) {  in kvmppc_e500_tlbil_one()
257 		pid = local_sid_lookup(&idt->id[ts][tid][pr]);  in kvmppc_e500_tlbil_one()
259 			kvmppc_e500_id_table_reset_one(vcpu_e500, ts, tid, pr);  in kvmppc_e500_tlbil_one()