#define PTE_BASE 0xC0000000
#define PDE_BASE 0xC0300000
#define PTE_TOP 0xC03FFFFF
+#define PDE_TOP 0xC0300FFF
+#define PTE_PER_PAGE 1024
#define HYPER_SPACE 0xC0400000
+#define HYPER_SPACE_END 0xC07FFFFF
/* Converting address to a corresponding PDE or PTE entry */
#define MiAddressToPde(x) \
// Convert a PTE into a corresponding address
//
#define MiPteToAddress(PTE) ((PVOID)((ULONG)(PTE) << 10))
+#define MiIsPdeForAddressValid(Pde) (MiAddressToPde(Address)->u.Hard.Valid)
#define ADDR_TO_PAGE_TABLE(v) (((ULONG)(v)) / (1024 * PAGE_SIZE))
#define ADDR_TO_PDE_OFFSET(v) ((((ULONG)(v)) / (1024 * PAGE_SIZE)))