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 +
 1 file changed, 1 insertion(+)

(limited to 'kernel/inc/dev.h')

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