- DECLARE("PDESHIFT", PDESHIFT);
- DECLARE("PTEMASK", PTEMASK);
- DECLARE("PTEINDX", PTEINDX);
- DECLARE("INTEL_PTE_PFN", INTEL_PTE_PFN);
- DECLARE("INTEL_PTE_VALID", INTEL_PTE_VALID);
- DECLARE("INTEL_PTE_WRITE", INTEL_PTE_WRITE);
- DECLARE("INTEL_PTE_PS", INTEL_PTE_PS);
- DECLARE("INTEL_PTE_USER", INTEL_PTE_USER);
- DECLARE("INTEL_PTE_INVALID", INTEL_PTE_INVALID);
- DECLARE("NPGPTD", NPGPTD);
- DECLARE("KERNEL_PML4_INDEX",KERNEL_PML4_INDEX);