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