X86_64_PDE_LARGE_PAGE
ASSERT(!(*pde & X86_64_PDE_LARGE_PAGE));
if ((*pde & X86_64_PDE_LARGE_PAGE) != 0) {
if ((virtualPageDir[k] & X86_64_PDE_LARGE_PAGE) != 0) {