Lines Matching defs:pte
46 #include <machine/pte.h>
66 "Prints the PTE and segmap values", "virtual-address", NULL) },
77 * pgmap: Given addr, Print addr, segmap, pagemap, pte
109 int pte;
113 if (sme == 0xFF) pte = 0;
114 else pte = get_pte(va);
115 db_printf("0x%08lx [%02x] 0x%08x", va, sme, pte);
117 pte_print(pte);
122 pte_print(int pte)
129 if (pte & PG_VALID) {
131 if (pte & PG_WRITE)
133 if (pte & PG_SYSTEM)
135 if (pte & PG_NC)
137 if (pte & PG_REF)
139 if (pte & PG_MOD)
142 t = (pte >> PG_TYPE_SHIFT) & 3;
144 db_printf(" PA=0x%x\n", PG_PA(pte));
Indexes created Sat Sep 20 22:09:52 GMT 2025