Changeset 399ccd9 in mainline for src/main/kinit.c

Timestamp:

2005-09-01T16:52:26Z (20 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

38207b9

Parents:

5dce48b9

Message:

Add missing header into kinit.c.

Do not use PA2KA() on dst_ptl0.

File:

• src/main/kinit.c (modified) (1 diff)

src/main/kinit.c

@@ -42 +42 @@
 #include <mm/vm.h>
 #include <print.h>
+#include <memstr.h>
 
 #ifdef __SMP__