From 306904aec244cdc90a92cc256ea13147ef2e285a Mon Sep 17 00:00:00 2001
From: Romain Goyet <romain.goyet@numworks.com>
Date: Wed, 9 May 2018 09:43:14 +0200
Subject: [PATCH] [ion/device] Proper flash cache flushing (fix #439)

---
 ion/src/device/flash.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/ion/src/device/flash.cpp b/ion/src/device/flash.cpp
index a391f8102..733718df7 100644
--- a/ion/src/device/flash.cpp
+++ b/ion/src/device/flash.cpp
@@ -40,11 +40,13 @@ static void close() {
   if (FLASH.ACR()->getDCEN()) {
     FLASH.ACR()->setDCEN(false);
     FLASH.ACR()->setDCRST(true);
+    FLASH.ACR()->setDCRST(false);
     FLASH.ACR()->setDCEN(true);
   }
   if (FLASH.ACR()->getICEN()) {
     FLASH.ACR()->setICEN(false);
     FLASH.ACR()->setICRST(true);
+    FLASH.ACR()->setICRST(false);
     FLASH.ACR()->setICEN(true);
   }
 }