diff options
| author | Marvin Borner | 2020-01-06 00:06:45 +0100 |
|---|---|---|
| committer | Marvin Borner | 2020-01-06 00:06:45 +0100 |
| commit | 84a8b41f4d4c444385e0d7ef058a57af07f0c2e1 (patch) | |
| tree | 71184009c6fc25c3ee1b6d097d5af6705325419a /src/kernel/syscall/actions/sys_paging_free.c | |
| parent | 9390f6408884d0631e5d9865150851d53e2d6aec (diff) | |
Usermode based allocating works a bit now
*a bit*
Diffstat (limited to 'src/kernel/syscall/actions/sys_paging_free.c')
| -rw-r--r-- | src/kernel/syscall/actions/sys_paging_free.c | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/kernel/syscall/actions/sys_paging_free.c b/src/kernel/syscall/actions/sys_paging_free.c deleted file mode 100644 index cdf7bb1..0000000 --- a/src/kernel/syscall/actions/sys_paging_free.c +++ /dev/null @@ -1,8 +0,0 @@ -#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 |