Symbol: FMT_PTE
usr/src/uts/i86pc/vm/hat_i86.c
1890
panic("non-null/page mapping pte=" FMT_PTE, old_pte);
usr/src/uts/i86pc/vm/hat_i86.c
1905
panic("remap bits changed: old_pte="FMT_PTE", pte="FMT_PTE"\n",
usr/src/uts/i86pc/vm/hat_i86.c
2710
FMT_PTE " ht=%lx entry=0x%x pte_ptr=%lx",
usr/src/uts/i86pc/vm/hat_i86.c
3833
panic("x86pte_inval() failure found PTE = " FMT_PTE
usr/src/uts/i86pc/vm/hat_i86.c
4372
"ht=%p, entry=%d, pte=" FMT_PTE, (void *)ht, entry, oldpte);
usr/src/uts/i86pc/vm/htable.c
1115
panic("Bad PTP found=" FMT_PTE ", expected=" FMT_PTE,
usr/src/uts/i86pc/vm/htable.c
1153
panic("HAT: ptp not 0, found=" FMT_PTE, found);