diff --git a/kernel-src/arch/x86-64/smp.c b/kernel-src/arch/x86-64/smp.c
index d80868f8..8d64675d 100644
--- a/kernel-src/arch/x86-64/smp.c
+++ b/kernel-src/arch/x86-64/smp.c
@@ -9,6 +9,7 @@
 #include <kernel/alloc.h>
 #include <kernel/init.h>
 #include <arch/context.h>
+#include <arch/prof.h>
 
 DEFINE_KERNEL_ARGUMENT(nosmp, bool);
 
diff --git a/kernel-src/include/x86-64/arch/prof.h b/kernel-src/include/x86-64/arch/prof.h
index 46af6386..6f452ffa 100644
--- a/kernel-src/include/x86-64/arch/prof.h
+++ b/kernel-src/include/x86-64/arch/prof.h
@@ -5,5 +5,6 @@
 #include <stdbool.h>
 
 bool arch_profiling_irq(context_t *ctx);
+void arch_profiling_init(void);
 
 #endif