///\r
#define MAX_ADDRESS ((UINTN)(~0ULL >> (64 - sizeof (INTN) * 8)))\r
\r
+///\r
+/// Maximum usable address at boot time (48 bits using 4 KB pages)\r
+///\r
+#define MAX_ALLOC_ADDRESS MAX_ADDRESS\r
+\r
///\r
/// Maximum legal EBC INTN and UINTN values.\r
///\r