From 854e42be52ef2c57a492ee3d063c687cfe4b839b Mon Sep 17 00:00:00 2001
From: Bruno Alvisio <bruno.alvisio@gmail.com>
Date: Mon, 18 Dec 2017 11:29:59 -0800
Subject: [PATCH] Save/Restore Support: Disable/enable IRQs during
 suspend/restore

Signed-off-by: Bruno Alvisio <bruno.alvisio@gmail.com>
Reviewed-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
---
 kernel.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/kernel.c b/kernel.c
index 1cd40e8..782eb79 100644
--- a/kernel.c
+++ b/kernel.c
@@ -119,12 +119,12 @@ void start_kernel(void* par)
 
 void pre_suspend(void)
 {
-
+    local_irq_disable();
 }
 
 void post_suspend(int canceled)
 {
-
+    local_irq_enable();
 }
 
 void stop_kernel(void)
-- 
2.39.5