Changes in kernel/arch/riscv64/src/riscv64.c [6c742f5e:b2e121a] in mainline

File:

• kernel/arch/riscv64/src/riscv64.c (modified) (2 diffs)

kernel/arch/riscv64/src/riscv64.c

@@ -40 +40 @@
 #include <arch/drivers/ucb.h>
 
-#include <func.h>
+#include <halt.h>
 #include <config.h>
 #include <errno.h>
@@ -143 +143 @@
 }
 
-int memcpy_from_uspace(void *dst, const void *uspace_src, size_t size)
+errno_t memcpy_from_uspace(void *dst, const void *uspace_src, size_t size)
 {
         return EOK;
 }
 
-int memcpy_to_uspace(void *uspace_dst, const void *src, size_t size)
+errno_t memcpy_to_uspace(void *uspace_dst, const void *src, size_t size)
 {
         return EOK;