diff --git a/src/tests/kernel/boot/loader/platform_mmu.cpp b/src/tests/kernel/boot/loader/platform_mmu.cpp
index bfee478d77..5e3f8c3a69 100644
--- a/src/tests/kernel/boot/loader/platform_mmu.cpp
+++ b/src/tests/kernel/boot/loader/platform_mmu.cpp
@@ -5,12 +5,17 @@
 
 
 #include <boot/platform.h>
+
 #include <stdlib.h>
+#include <stdio.h>
 
 
 status_t
 platform_allocate_region(void **_address, size_t size, uint8 protection)
 {
+	printf("platform_allocate_region(address = %p, size = %lu, protection = %u)\n",
+		*_address, size, protection);
+
 	void *address = malloc(size);
 	if (address == NULL)
 		return B_NO_MEMORY;