103a104,105
> DPRINTF(PageTableWalker,
> "Got long mode PML4 entry %#016x.\n", (uint64_t)pte);
116a119,120
> DPRINTF(PageTableWalker,
> "Got long mode PDP entry %#016x.\n", (uint64_t)pte);
128a133,134
> DPRINTF(PageTableWalker,
> "Got long mode PD entry %#016x.\n", (uint64_t)pte);
156a163,164
> DPRINTF(PageTableWalker,
> "Got long mode PTE entry %#016x.\n", (uint64_t)pte);
173a182,183
> DPRINTF(PageTableWalker,
> "Got legacy mode PAE PDP entry %#08x.\n", (uint32_t)pte);
181a192,193
> DPRINTF(PageTableWalker,
> "Got legacy mode PAE PD entry %#08x.\n", (uint32_t)pte);
208a221,222
> DPRINTF(PageTableWalker,
> "Got legacy mode PAE PTE entry %#08x.\n", (uint32_t)pte);
225a240,241
> DPRINTF(PageTableWalker,
> "Got legacy mode PSE PD entry %#08x.\n", (uint32_t)pte);
253a270,271
> DPRINTF(PageTableWalker,
> "Got legacy mode PD entry %#08x.\n", (uint32_t)pte);
267a286,287
> DPRINTF(PageTableWalker,
> "Got legacy mode PTE entry %#08x.\n", (uint32_t)pte);
543a564
> DPRINTF(PageTableWalker, "Raising page fault.\n");