From 0d9ffd7a10ce1075b353b3c8e32b35a7ec86e4c3 Mon Sep 17 00:00:00 2001
From: Zhuowei Zhang <zhuoweizhang@yahoo.com>
Date: Sun, 24 Feb 2019 20:00:49 -0800
Subject: [PATCH] Add some reserved regions to the memory map

---
 Pixel3XL/Library/Pixel3XLLib/Pixel3XLMem.c | 12 ++++--------
 1 file changed, 4 insertions(+), 8 deletions(-)

diff --git a/Pixel3XL/Library/Pixel3XLLib/Pixel3XLMem.c b/Pixel3XL/Library/Pixel3XLLib/Pixel3XLMem.c
index 99cbaec..6d7cfa7 100644
--- a/Pixel3XL/Library/Pixel3XLLib/Pixel3XLMem.c
+++ b/Pixel3XL/Library/Pixel3XLLib/Pixel3XLMem.c
@@ -35,14 +35,10 @@ STATIC struct Pixel3XLReservedMemory {
   EFI_PHYSICAL_ADDRESS         Offset;
   EFI_PHYSICAL_ADDRESS         Size;
 } Pixel3XLReservedMemoryBuffer [] = {
-/*
-  { 0x1AC00000, 0x00098000 },    // ARM-TF reserved
-  { 0x32000000, 0x00100000 },    // PSTORE/RAMOOPS
-  { 0x32100000, 0x00001000 },    // ADB REBOOT "REASON"
-  { 0x3E000000, 0x02000000 },    // TEE OS
-  { 0x89B80000, 0x00100000 },    // MCU Code reserved
-  { 0x89C80000, 0x00040000 }     // MCU reserved
-*/ // TODO.
+  { 0x85700000, 0x00600000 },    // hyp_region
+  { 0x85e00000, 0x00100000 },    // xbl_region
+  { 0x85fc0000, 0x02f40000 },    // removed_region
+  { 0x8ab00000, 0x01400000 },    // qseecom_region
 };
 
 /**