Changeset 32817cc in mainline for kernel/generic/src/lib/rd.c

Timestamp:

2012-01-25T22:59:35Z (12 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

4dee0cb

Parents:

7943c43

Message:

Make the kernel ready for init tasks loaded to high memory.

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 = KA2PA((uintptr_t) data);
+        uintptr_t base = (uintptr_t) data;
         ASSERT((base % FRAME_SIZE) == 0);