diff --git a/src/kernel/core/arch/x86/arch_int.c b/src/kernel/core/arch/x86/arch_int.c
index 25a2fdb889..13111475f8 100755
--- a/src/kernel/core/arch/x86/arch_int.c
+++ b/src/kernel/core/arch/x86/arch_int.c
@@ -151,7 +151,7 @@ arch_int_restore_interrupts(int oldstate)
 
 
 bool
-arch_int_is_interrupts_enabled(void)
+arch_int_are_interrupts_enabled(void)
 {
 	int flags;