/*++ NDK Version: 0095
Copyright (c) Alex Ionescu. All rights reserved.
-Copyright (c) Timo Kreuzer All rights reserved.
Header Name:
#ifndef _AMD64_MMTYPES_H
#define _AMD64_MMTYPES_H
+#ifdef __cplusplus
+extern "C" {
+#endif
+
//
// Dependencies
//
#define PAGE_SHIFT 12L
#define MM_ALLOCATION_GRANULARITY 0x10000
#define MM_ALLOCATION_GRANULARITY_SHIFT 16L
+#define MM_PAGE_FRAME_NUMBER_SIZE 52
+
+//
+// Address of the shared user page
+//
+#define MM_SHARED_USER_DATA_VA 0x7FFE0000ULL
//
// Sanity checks for Paging Macros
#endif
} MMPTE_HARDWARE_LARGEPAGE, *PMMPTE_HARDWARE_LARGEPAGE;
+#ifdef __cplusplus
+}; // extern "C"
+#endif
#endif // !AMD64_MMTYPES_H