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