diff --git a/src/system/boot/platform/efi/mmu.cpp b/src/system/boot/platform/efi/mmu.cpp
index 0cf7250360..a245f6500d 100644
--- a/src/system/boot/platform/efi/mmu.cpp
+++ b/src/system/boot/platform/efi/mmu.cpp
@@ -285,7 +285,7 @@ bool
 mmu_next_region(void** cookie, addr_t* vaddr, phys_addr_t* paddr, size_t* size)
 {
 	if (*cookie == NULL)
-		*cookie = &allocated_regions;
+		*cookie = allocated_regions;
 	else
 		*cookie = ((memory_region*)*cookie)->next;