Searched refs:kvmppc_44x_tlbie (Results 1 – 1 of 1) sorted by relevance
68 static inline void kvmppc_44x_tlbie(unsigned int index) in kvmppc_44x_tlbie() function174 kvmppc_44x_tlbie(i); in kvmppc_44x_tlb_put()256 kvmppc_44x_tlbie(stlb_index); in kvmppc_44x_shadow_release()