///\r
#define MAX_ADDRESS 0xFFFFFFFFFFFFFFFFULL\r
\r
+///\r
+/// Maximum usable address at boot time (48 bits using 4 KB pages)\r
+///\r
+#define MAX_ALLOC_ADDRESS 0xFFFFFFFFFFFFULL\r
+\r
///\r
/// Maximum legal AArch64 INTN and UINTN values.\r
///\r