Searched refs:write_host_tlbe (Results 1 – 1 of 1) sorted by relevance
124 static inline void write_host_tlbe(struct kvmppc_vcpu_e500 *vcpu_e500, in write_host_tlbe() function152 write_host_tlbe(vcpu_e500, stlbsel, sesel, stlbe); in write_stlbe()