Symbol: PT_PAT_4K
usr/src/cmd/mdb/i86pc/modules/unix/i86mmu.c
456
if (PTE_GET(pte, PT_PAT_4K))
usr/src/uts/i86pc/dboot/dboot_startkern.c
2186
pte_bits |= PT_PAT_4K;
usr/src/uts/i86pc/dboot/dboot_startkern.c
2194
pte_bits &= ~PT_PAT_4K;
usr/src/uts/i86pc/vm/hat_i86.c
1612
PTE_SET(pte, (level == 0) ? PT_PAT_4K : PT_PAT_LARGE);
usr/src/uts/i86pc/vm/hat_i86.c
1797
PT_NOCACHE | PT_PAT_4K | PT_PAT_LARGE | PT_IGNORE | PT_REF | PT_MOD)