#define MAX_2_BITS 0xC000000000000000ULL\r
\r
///\r
-/// Maximum legal AARCH64 address\r
+/// Maximum legal AARCH64 address (48 bits for 4 KB page size)\r
///\r
-#define MAX_ADDRESS 0xFFFFFFFFFFFFFFFFULL\r
+#define MAX_ADDRESS 0xFFFFFFFFFFFFULL\r
\r
///\r
/// Maximum legal AArch64 INTN and UINTN values.\r