Changeset 328

Timestamp:

Aug 7, 2017, 8:52:53 AM (8 years ago)

Author:

max@…

Message:

Use vfs_kernel_move(), it's a kernel buffer.

File:

• trunk/kernel/libk/elf.c (modified) (1 diff)

trunk/kernel/libk/elf.c

@@ -87 +87 @@
 {
         uint32_t  count;
+        xptr_t    buf_xp;
+        void    * buf_ptr;
+
+        buf_ptr = GET_PTR( buffer );
+        buf_xp = XPTR( local_cxy , buf_ptr );
 
         // load .elf header
-        count = vfs_user_move( true,     // to_buffer
-                               file_xp,
-                               buffer,
-                               size );
+        count = vfs_kernel_move( true,     // to_buffer
+                                 file_xp,
+                                 buf_xp,
+                                 size );
 
         if( count != size )