From 1c1efa6f2f17abb1ae18e6d0d8ddf24a3606a522 Mon Sep 17 00:00:00 2001
From: Augustin Cavalier <waddlesplash@gmail.com>
Date: Mon, 7 Jan 2019 22:12:36 -0500
Subject: [PATCH] kernel/x86: Use volatile in restore_interrupts.

We already use it in enable_interrupts, so we might as well
use it here too.
---
 headers/private/kernel/arch/x86/arch_int.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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");
 }