Searched refs:stlbsel (Results 1 – 1 of 1) sorted by relevance
144 int stlbsel, int sesel) in write_stlbe() argument152 write_host_tlbe(vcpu_e500, stlbsel, sesel, stlbe); in write_stlbe()516 int stlbsel = 0; in kvmppc_e500_tlb0_map() local529 write_stlbe(vcpu_e500, gtlbe, stlbe, stlbsel, sesel); in kvmppc_e500_tlb0_map()