Searched refs:kvmppc_write_hpte (Results 1 – 3 of 3) sorted by relevance
65 void kvmppc_write_hpte(hwaddr ptex, uint64_t pte0, uint64_t pte1);321 static inline void kvmppc_write_hpte(hwaddr ptex, uint64_t pte0, uint64_t pte1) in kvmppc_write_hpte() function
2827 void kvmppc_write_hpte(hwaddr ptex, uint64_t pte0, uint64_t pte1) in kvmppc_write_hpte() function
1497 kvmppc_write_hpte(ptex, pte0, pte1); in spapr_store_hpte()