kernel: don't use pointer types for registers, add proc_savereturn

1 files changed, 3 insertions, 0 deletions

diff --git a/src/kernel/proc.h b/src/kernel/proc.h
index 96cd8ba..a371e04 100644
--- a/src/kernel/proc.h
+++ b/src/kernel/proc.h
@@ -131,6 +131,9 @@ _Noreturn void proc_switch_any(void);
 
 Proc *proc_next(Proc *root, Proc *p);
 
+/** Saves a return value. */
+void proc_savereturn(Proc *p, uint64_t val);
+
 void proc_setstate(Proc *, enum proc_state);
 
 size_t pcpy_to(Proc *p, __user void *dst, const void *src, size_t len);