Searched refs:write_host_tlbe (Results 1 – 1 of 1) sorted by relevance
123 static inline void write_host_tlbe(struct kvmppc_vcpu_e500 *vcpu_e500, in write_host_tlbe() function257 write_host_tlbe(vcpu_e500, 1, i); in kvmppc_e500_tlb1_invalidate()571 write_host_tlbe(vcpu_e500, stlbsel, sesel); in kvmppc_e500_emul_tlbwe()657 write_host_tlbe(vcpu_e500, stlbsel, sesel); in kvmppc_mmu_map()