Index: kernel/arch/amd64/src/interrupt.c
===================================================================
--- kernel/arch/amd64/src/interrupt.c	(revision 193d280c34f38846eccfa1ecce71975f9ad92398)
+++ kernel/arch/amd64/src/interrupt.c	(revision 4a0bc998529e9db5e484717ec46832ad39710ee2)
@@ -45,5 +45,4 @@
 #include <mm/as.h>
 #include <arch.h>
-#include <arch/asm.h>
 #include <proc/scheduler.h>
 #include <proc/thread.h>
Index: kernel/arch/amd64/src/syscall.c
===================================================================
--- kernel/arch/amd64/src/syscall.c	(revision 193d280c34f38846eccfa1ecce71975f9ad92398)
+++ kernel/arch/amd64/src/syscall.c	(revision 4a0bc998529e9db5e484717ec46832ad39710ee2)
@@ -41,5 +41,4 @@
 
 #include <print.h>
-#include <arch/cpu.h>
 
 extern void syscall_entry(void);