From 7ba55e55f9c5c6033ccc60b1735a1f46904c8967 Mon Sep 17 00:00:00 2001
From: Zhuowei Zhang <zhuoweizhang@yahoo.com>
Date: Thu, 21 Feb 2019 19:20:58 -0800
Subject: [PATCH] fix compile in Pixel3XLDxe

Nope, still doesn't reboot. So we didn't make into DXE.
---
 Pixel3XL/Pixel3XLDxe/Pixel3XLDxe.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Pixel3XL/Pixel3XLDxe/Pixel3XLDxe.c b/Pixel3XL/Pixel3XLDxe/Pixel3XLDxe.c
index f9e570b..2bd007e 100644
--- a/Pixel3XL/Pixel3XLDxe/Pixel3XLDxe.c
+++ b/Pixel3XL/Pixel3XLDxe/Pixel3XLDxe.c
@@ -41,7 +41,7 @@ InitPeripherals (
   )
 {
 	// set the screen
-	for (uint64_t addr = 0x9d400000ull; addr < 0x9d400000ull + (1440 * 2960 * 4); addr += 4) {
+	for (UINT64 addr = 0x9d400000ull; addr < 0x9d400000ull + (1440 * 2960 * 4); addr += 4) {
 		MmioWrite32(addr, 0);
 	}
 	// reboot