125 		int tlbsel, int sesel, struct kvm_book3e_206_tlb_entry *stlbe)  in write_host_tlbe()  argument
135 				  MAS0_ESEL(to_htlb1_esel(sesel)),  in write_host_tlbe()
144 			int stlbsel, int sesel)  in write_stlbe()  argument
152 	write_host_tlbe(vcpu_e500, stlbsel, sesel, stlbe);  in write_stlbe()
517 	int sesel = 0;  in kvmppc_e500_tlb0_map()  local
529 	write_stlbe(vcpu_e500, gtlbe, stlbe, stlbsel, sesel);  in kvmppc_e500_tlb0_map()
538 	unsigned int sesel = vcpu_e500->host_tlb1_nv++;  in kvmppc_e500_tlb1_map_tlb1()  local
543 	if (vcpu_e500->h2g_tlb1_rmap[sesel]) {  in kvmppc_e500_tlb1_map_tlb1()
544 		unsigned int idx = vcpu_e500->h2g_tlb1_rmap[sesel] - 1;  in kvmppc_e500_tlb1_map_tlb1()
545 		vcpu_e500->g2h_tlb1_map[idx] &= ~(1ULL << sesel);  in kvmppc_e500_tlb1_map_tlb1()
549 	vcpu_e500->g2h_tlb1_map[esel] |= (u64)1 << sesel;  in kvmppc_e500_tlb1_map_tlb1()
550 	vcpu_e500->h2g_tlb1_rmap[sesel] = esel + 1;  in kvmppc_e500_tlb1_map_tlb1()
553 	return sesel;  in kvmppc_e500_tlb1_map_tlb1()
564 	int sesel;  in kvmppc_e500_tlb1_map()  local
580 	sesel = kvmppc_e500_tlb1_map_tlb1(vcpu_e500, ref, esel);  in kvmppc_e500_tlb1_map()
581 	write_stlbe(vcpu_e500, gtlbe, stlbe, 1, sesel);  in kvmppc_e500_tlb1_map()