diff --git a/headers/private/kernel/arch/x86/arch_int.h b/headers/private/kernel/arch/x86/arch_int.h index bfbe401061..5748a1da0a 100644 --- a/headers/private/kernel/arch/x86/arch_int.h +++ b/headers/private/kernel/arch/x86/arch_int.h @@ -41,7 +41,7 @@ static inline void arch_int_restore_interrupts_inline(int oldState) { if (oldState) - asm("sti"); + asm volatile("sti"); }