62 void machine_tlb_purge(u64 va, u64 ps)  in machine_tlb_purge()
164 	unsigned long ps, gpaddr;  in vhpt_insert()  local
181 void mark_pages_dirty(struct kvm_vcpu *v, u64 pte, u64 ps)  in mark_pages_dirty()
268 static void vtlb_purge(struct kvm_vcpu *v, u64 va, u64 ps)  in vtlb_purge()
299 static void vhpt_purge(struct kvm_vcpu *v, u64 va, u64 ps)  in vhpt_purge()
345 int vtr_find_overlap(struct kvm_vcpu *vcpu, u64 va, u64 ps, int type)  in vtr_find_overlap()
377 void thash_purge_entries(struct kvm_vcpu *v, u64 va, u64 ps)  in thash_purge_entries()
384 void thash_purge_entries_remote(struct kvm_vcpu *v, u64 va, u64 ps)  in thash_purge_entries_remote()
395 	u64 ps, ps_mask, paddr, maddr, io_mask;  in translate_phy_pte()  local
422 	u64 ps;  in thash_purge_and_insert()  local
516 	u64    psbits, ps, tag;  in vtlb_lookup()  local