From 84a8b41f4d4c444385e0d7ef058a57af07f0c2e1 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Mon, 6 Jan 2020 00:06:45 +0100
Subject: Usermode based allocating works a bit now

*a bit*
---
 src/kernel/syscall/syscall.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/kernel/syscall/syscall.h')

diff --git a/src/kernel/syscall/syscall.h b/src/kernel/syscall/syscall.h
index ae69800..229cf04 100644
--- a/src/kernel/syscall/syscall.h
+++ b/src/kernel/syscall/syscall.h
@@ -15,8 +15,8 @@ uint32_t sys_readc(char *ch);
 
 uint32_t sys_get_pointers();
 
-uint32_t sys_paging_alloc(uint32_t count);
+uint32_t sys_alloc(uint32_t count);
 
-uint32_t sys_paging_free(uint32_t virt, uint32_t count);
+uint32_t sys_free(uint32_t ptr);
 
 #endif
\ No newline at end of file
-- 
cgit v1.2.3