Searched defs:kvmppc_write_hpte (Results 1 – 2 of 2) sorted by relevance
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