diff --git a/kernel/arch/aarch64/main.c b/kernel/arch/aarch64/main.c
index e5608942..033b7856 100644
--- a/kernel/arch/aarch64/main.c
+++ b/kernel/arch/aarch64/main.c
@@ -342,8 +342,6 @@ static void spin(void) {
 	}
 }
 
-char _ret_from_preempt_source[1];
-
 #define EOI(x) do { \
 	gicc_regs[4] = (x); \
 } while (0)