Searched refs:stlbsel (Results 1 – 1 of 1) sorted by relevance
147 int stlbsel, int sesel) in write_stlbe() argument155 write_host_tlbe(vcpu_e500, stlbsel, sesel, stlbe); in write_stlbe()475 int stlbsel = 0; in kvmppc_e500_tlb0_map() local488 write_stlbe(vcpu_e500, gtlbe, stlbe, stlbsel, sesel); in kvmppc_e500_tlb0_map()