From 73a55007a44d23be40be681c4882fd6ad1e30b60 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Sat, 19 Jun 2021 13:12:34 +0200
Subject: Improved bus and device management

---
 kernel/inc/dev.h  | 1 +
 kernel/inc/proc.h | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

(limited to 'kernel/inc')

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;
 
-- 
cgit v1.2.3