Improved bus and device management

1 files changed, 1 insertions, 1 deletions

diff --git a/kernel/inc/proc.h b/kernel/inc/proc.h
index b2e5c8b..42ff75d 100644
--- a/kernel/inc/proc.h
+++ b/kernel/inc/proc.h
@@ -66,7 +66,7 @@ void proc_set_quantum(struct proc *proc, u32 value) NONNULL;
 void proc_reset_quantum(struct proc *proc) NONNULL;
 void proc_state(struct proc *proc, enum proc_state state) NONNULL;
 struct proc *proc_make(enum proc_priv priv);
-void proc_make_regs(struct proc *proc);
+void proc_make_regs(struct proc *proc) NONNULL;
 void proc_stack_user_push(struct proc *proc, const void *data, u32 size) NONNULL;
 void proc_stack_kernel_push(struct proc *proc, const void *data, u32 size) NONNULL;