Bug fixes

2 files changed, 4 insertions, 1 deletions

diff --git a/kernel/libc/stdio/print.c b/kernel/libc/stdio/print.c
index b432364..eedf026 100644
--- a/kernel/libc/stdio/print.c
+++ b/kernel/libc/stdio/print.c
@@ -9,7 +9,7 @@ inline void putc(const char c) {
   write_serial(c);
 }
 
-inline void put_string(const char *s, int l) {
+void put_string(const char *s, int l) {
   for (; l > 0; l--, s++) {
     write_serial(*s);
   }
diff --git a/kernel/sched/scheduler.c b/kernel/sched/scheduler.c
index b75b7ff..bd8759a 100644
--- a/kernel/sched/scheduler.c
+++ b/kernel/sched/scheduler.c
@@ -583,6 +583,9 @@ void *create_physical_mapping(void **physical_addresses, size_t length) {
 int munmap(void *addr, size_t length) {
   for (int i = 0; i < 100; i++) {
     MemoryMap *m = current_task->maps[i];
+    if (!m) {
+      continue;
+    }
     if (addr == m->u_address) {
       current_task->maps[i] = NULL;
       return 0;