Searched refs:make_ptable (Results 1 – 4 of 4) sorted by relevance
173 paddr_t make_ptable(x86pte_t *, uint_t);
109 new_table = make_ptable(&pteval, l); in find_pte()
489 make_ptable(x86pte_t *pteval, uint_t level) in make_ptable() function
430 make_ptable(x86pte_t *pteval, uint_t level) in make_ptable() function