From eb13f1f4fbb3b92eabd0c1679ce3d55d3eb0b039 Mon Sep 17 00:00:00 2001
From: "Justin C. Miller" <justin@devjustinian.com>
Date: Tue, 24 Apr 2018 08:54:38 -0700
Subject: [PATCH] Fix missing return

---
 src/boot/memory.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/boot/memory.c b/src/boot/memory.c
index 5882af4..34fd337 100644
--- a/src/boot/memory.c
+++ b/src/boot/memory.c
@@ -73,6 +73,7 @@ memory_init_pointer_fixup(EFI_BOOT_SERVICES *bootsvc, EFI_RUNTIME_SERVICES *runs
 	CHECK_EFI_STATUS_OR_RETURN(status, "Failed to allocate page table pages.");
 
 	new_pml4 = (uint64_t *)addr;
+	return EFI_SUCCESS;
 }
 
 void