Improved bus and device management

2 files changed, 2 insertions, 1 deletions

diff --git a/kernel/inc/dev.h b/kernel/inc/dev.h
index fc5e424..c824009 100644
--- a/kernel/inc/dev.h
+++ b/kernel/inc/dev.h
@@ -17,6 +17,7 @@ struct dev_dev {
 
 void dev_install(void);
 void dev_add(enum dev_type type, struct dev_dev *dev) NONNULL;
+void dev_remove_proc(struct proc *proc) NONNULL;
 
 // No NONNULL on syscalls
 res dev_control(enum dev_type type, u32 request, void *arg1, void *arg2, void *arg3);
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;