Symbol: make_ptable
usr/src/uts/i86pc/dboot/dboot_startkern.c
430
make_ptable(x86pte_t *pteval, uint_t level)
usr/src/uts/i86pc/vm/kboot_mmu.c
489
make_ptable(x86pte_t *pteval, uint_t level)