From 5e6892b6d9aa2c576c863fe63a4bc8d53364d4a3 Mon Sep 17 00:00:00 2001
From: rusEfi <russianefi@gmail.com>
Date: Tue, 3 Mar 2015 17:04:27 -0600
Subject: [PATCH] auto-sync

---
 firmware/util/efilib2.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/firmware/util/efilib2.h b/firmware/util/efilib2.h
index 41d0d52418..39e97b70f7 100644
--- a/firmware/util/efilib2.h
+++ b/firmware/util/efilib2.h
@@ -11,8 +11,8 @@
 #include <stdint.h>
 
 typedef struct {
-	uint64_t highBits;
-	uint32_t lowBits;
+	volatile uint64_t highBits;
+	volatile uint32_t lowBits;
 } State64;
 
 void updateAndSet(State64 *state, uint32_t value);