Changes in kernel/generic/src/lib/rd.c [32817cc:fb48a0e] in mainline

File:

• kernel/generic/src/lib/rd.c (modified) (1 diff)

kernel/generic/src/lib/rd.c

@@ -54 +54 @@
 void init_rd(void *data, size_t size)
 {
-        uintptr_t base = (uintptr_t) data;
+        uintptr_t base = KA2PA((uintptr_t) data);
         ASSERT((base % FRAME_SIZE) == 0);