X86_64_PDE_PRESENT
if ((*pde & X86_64_PDE_PRESENT) == 0) {
| X86_64_PDE_PRESENT
if ((*pde & X86_64_PDE_PRESENT) == 0) {
| X86_64_PDE_PRESENT
if (pde == NULL || (*pde & X86_64_PDE_PRESENT) == 0)
if ((virtualPageDir[k] & X86_64_PDE_PRESENT) == 0)
if ((virtualPageDir[k] & X86_64_PDE_PRESENT) == 0)