Searched refs:stlbsel (Results 1 – 1 of 1) sorted by relevance
146 int stlbsel, int sesel) in write_stlbe() argument154 write_host_tlbe(vcpu_e500, stlbsel, sesel, stlbe); in write_stlbe()518 int stlbsel = 0; in kvmppc_e500_tlb0_map() local531 write_stlbe(vcpu_e500, gtlbe, stlbe, stlbsel, sesel); in kvmppc_e500_tlb0_map()