Lines Matching refs:kprintf
1208 kprintf("page directory: %p (PDPT[%zu])\n", pageDirectory,
1214 kprintf("page directory entry %zu (%p): %#" B_PRIx64 "\n",
1217 kprintf(" access: ");
1219 kprintf(" present");
1221 kprintf(" writable");
1223 kprintf(" user");
1225 kprintf(" executable");
1227 kprintf(" large");
1229 kprintf("\n caching:");
1231 kprintf(" write-through");
1233 kprintf(" uncached");
1235 kprintf("\n flags: ");
1237 kprintf(" accessed");
1238 kprintf("\n");
1248 kprintf("page table: %#" B_PRIx64 "\n",
1252 kprintf("page table entry %zu (phys: %#" B_PRIx64 "): %#" B_PRIx64 "\n",
1258 kprintf(" access: ");
1260 kprintf(" present");
1262 kprintf(" writable");
1264 kprintf(" user");
1266 kprintf(" executable");
1268 kprintf(" global");
1270 kprintf("\n caching:");
1272 kprintf(" write-through");
1274 kprintf(" uncached");
1276 kprintf(" PAT");
1278 kprintf("\n flags: ");
1280 kprintf(" accessed");
1282 kprintf(" dirty");
1283 kprintf("\n");
1286 kprintf(" address: %#" B_PRIx64 "\n",