3 files changed, 3 insertions, 1 deletions
diff --git a/src/kernel/task/idt.c b/src/kernel/task/idt.c
index be5d152..ff129be 100644
--- a/src/kernel/task/idt.c
+++ b/src/kernel/task/idt.c
@@ -2,6 +2,7 @@
 #include <core/monitor.h>
 #include <core/sys.h>
 #include <mem/paging.h>
+#include <mem/mem.h>
 #include "task.h"
 #include "syscall.h"
 
diff --git a/src/kernel/task/task.c b/src/kernel/task/task.c
index a6becdb..7071248 100644
--- a/src/kernel/task/task.c
+++ b/src/kernel/task/task.c
@@ -45,7 +45,7 @@ void tasking_init() {
 /*	Called by the paging functions when a page table is allocated in the kernel space (>K_HIGHHALF_ADDR).
 	Updates the page directories of all the processes. */
 void tasking_updateKernelPagetable(uint32_t idx, struct page_table *table, uint32_t tablephysical) {
-	if (idx < 896) return;
+	if (idx < FIRST_KERNEL_PAGETABLE) return;
 	struct process* it = processes;
 	while (it != 0) {
 		it->pagedir->tables[idx] = table;
diff --git a/src/kernel/task/timer.c b/src/kernel/task/timer.c
index 65ad06a..35a94f9 100644
--- a/src/kernel/task/timer.c
+++ b/src/kernel/task/timer.c
@@ -1,6 +1,7 @@
 #include "timer.h"
 #include "task.h"
 #include "idt.h"
+#include <mem/mem.h>
 #include <core/sys.h>
 #include <core/monitor.h>