Symbol: hati_mkpte
usr/src/uts/i86pc/vm/hat_i86.c
1992
pte = hati_mkpte(pfn, attr, level, flags);
usr/src/uts/i86pc/vm/hat_i86.c
2032
pte = hati_mkpte(pfn, attr, 0, flags);
usr/src/uts/i86pc/vm/hat_i86.c
4464
pte = hati_mkpte(pfn, attr, 0, flags);