diff --git a/arch/arm64/kernel/efi.c b/arch/arm64/kernel/efi.c
index 27103dddc4ed..e2dd21489b0b 100644
--- a/arch/arm64/kernel/efi.c
+++ b/arch/arm64/kernel/efi.c
@@ -154,7 +154,7 @@ DEFINE_SPINLOCK(efi_rt_lock);
 asmlinkage u64 *efi_rt_stack_top __ro_after_init;
 
 /* EFI requires 8 KiB of stack space for runtime services */
-_Static_assert(THREAD_SIZE >= SZ_8K);
+static_assert(THREAD_SIZE >= SZ_8K);
 
 static int __init arm64_efi_rt_init(void)
 {