Searched refs:pmap_tlb_syncicache (Results 1 – 3 of 3) sorted by relevance
37 void pmap_tlb_syncicache(vaddr_t, const kcpuset_t *);
90 pmap_tlb_syncicache(vaddr_t va, const kcpuset_t *page_onproc) in pmap_tlb_syncicache() function
709 pmap_tlb_syncicache(va, onproc); in pmap_md_page_syncicache()