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