From 68915f46e66ed65ce2d32009fdfa2f5dca116842 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Tue, 10 Dec 2019 21:47:41 +0100
Subject: Some syscalls and userspace stuff

sorry for the worse-getting commit messages...
---
 src/kernel/syscall/actions/sys_paging_free.c | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 src/kernel/syscall/actions/sys_paging_free.c

(limited to 'src/kernel/syscall/actions/sys_paging_free.c')

diff --git a/src/kernel/syscall/actions/sys_paging_free.c b/src/kernel/syscall/actions/sys_paging_free.c
new file mode 100644
index 0000000..cdf7bb1
--- /dev/null
+++ b/src/kernel/syscall/actions/sys_paging_free.c
@@ -0,0 +1,8 @@
+#include <stdint.h>
+#include <kernel/paging/paging.h>
+
+uint32_t sys_paging_free(uint32_t virt, uint32_t count)
+{
+    paging_set_free(virt, count);
+    return count;
+}
\ No newline at end of file
-- 
cgit v1.2.3