Index: kernel/generic/include/config.h
===================================================================
--- kernel/generic/include/config.h	(revision 40c8c17482d672e755c855c6fd5664b0e933e483)
+++ kernel/generic/include/config.h	(revision 314f3a3cd09312ebdb951117ae013c07db6ab4be)
@@ -53,5 +53,5 @@
 
 typedef struct {
-	uintptr_t addr;
+	uintptr_t paddr;
 	size_t size;
 	char name[CONFIG_TASK_NAME_BUFLEN];