fix errors

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;
 }

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 {

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);