From 864a1030e71d972716c39c422e73c08edade9295 Mon Sep 17 00:00:00 2001
From: Eggert Jung <eggert.s.jung@wischhof13.de>
Date: Fri, 9 Jan 2026 21:02:15 +0100
Subject: [PATCH] fix errors

---
 kernel/memory/pageframealloc.cc | 4 +++-
 kernel/memory/pageframealloc.h  | 3 +--
 kernel/syscall/handler.cc       | 1 +
 3 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/kernel/memory/pageframealloc.cc b/kernel/memory/pageframealloc.cc
index effcf6d..ac2dfe5 100644
--- a/kernel/memory/pageframealloc.cc
+++ b/kernel/memory/pageframealloc.cc
@@ -1,5 +1,4 @@
 #include "../memory/pageframealloc.h"
-#include <cstdint>
 #include "pageframe.h"
 
 void PageFrameAllocator::init(){
@@ -9,11 +8,14 @@ void PageFrameAllocator::stats(){
 }
 
 PageFrame* PageFrameAllocator::alloc(bool kernel){
+    (void) kernel;
     return 0;
 }
 
 void PageFrameAllocator::free(PageFrame* frame){
+    (void) frame;
 }
 
 void PageFrameAllocator::free(uintptr_t addr){
+    (void) addr;
 }
diff --git a/kernel/memory/pageframealloc.h b/kernel/memory/pageframealloc.h
index 1374ac1..8f9a2e6 100644
--- a/kernel/memory/pageframealloc.h
+++ b/kernel/memory/pageframealloc.h
@@ -1,8 +1,7 @@
 #ifndef _PAGEFRAMEALLOC_H_
 #define _PAGEFRAMEALLOC_H_
 
-#include <cstdint>
-
+#include <types.h>
 #include "../memory/pageframe.h"
 
 namespace PageFrameAllocator {
diff --git a/kernel/syscall/handler.cc b/kernel/syscall/handler.cc
index bfbba86..6855fc9 100644
--- a/kernel/syscall/handler.cc
+++ b/kernel/syscall/handler.cc
@@ -41,6 +41,7 @@ namespace Syscall {
 extern "C" size_t syscall_handler(size_t sysnum, size_t p1, size_t p2,
 								  size_t p3, size_t p4, size_t p5,
 								  InterruptContext *user) {
+    (void) user;
     switch ((Syscall::ID)sysnum) {
         case Syscall::ID::TEST:
             return Syscall::Skeleton::test(Guard::enter().vault(), p1, p2, p3, p4, p5);