From a0c8aa6aedc4177823e58a66793af57a57dfb56f Mon Sep 17 00:00:00 2001
From: Freya Murphy <freya@freyacat.org>
Date: Mon, 21 Apr 2025 16:44:18 -0400
Subject: fmt, rename some fns

---
 kernel/user.c | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 kernel/user.c

(limited to 'kernel/user.c')

diff --git a/kernel/user.c b/kernel/user.c
new file mode 100644
index 0000000..0a237e9
--- /dev/null
+++ b/kernel/user.c
@@ -0,0 +1,11 @@
+#include <comus/procs.h>
+#include <comus/memory.h>
+
+void user_cleanup(struct pcb *pcb)
+{
+	if (pcb == NULL)
+		return;
+
+	mem_ctx_free(pcb->memctx);
+	pcb->memctx = NULL;
+}
-- 
cgit v1.2.3-freya