Searched refs:hw_tlb_indx (Results 1 – 1 of 1) sorted by relevance
203 int hw_tlb_indx; in inval_gtlbe_on_host() local208 hw_tlb_indx = __ilog2_u64(tmp & -tmp); in inval_gtlbe_on_host()211 MAS0_ESEL(to_htlb1_esel(hw_tlb_indx))); in inval_gtlbe_on_host()214 vcpu_e500->h2g_tlb1_rmap[hw_tlb_indx] = 0; in inval_gtlbe_on_host()
