Searched refs:make_ptable (Results 1 – 4 of 4) sorted by relevance
150 paddr_t make_ptable(x86pte_t *, uint_t);
111 new_table = make_ptable(&pteval, l); in find_pte()
491 make_ptable(x86pte_t *pteval, uint_t level) in make_ptable() function
375 make_ptable(x86pte_t *pteval, uint_t level) in make_ptable() function