From bbdf7a89a79eecd1fa845c6f826fcb0ca4ee3eaf Mon Sep 17 00:00:00 2001
From: Adrian Danis <Adrian.Danis@data61.csiro.au>
Date: Tue, 24 May 2016 08:46:54 +1000
Subject: [PATCH] Mark tlbLockCount as visible so it is not discarded

This variable is referenced in assembler and needs to not get discarded
by the optimizer prior to linking.
---
 include/model/statedata.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/include/model/statedata.h b/include/model/statedata.h
index 65bf28f51..d6c451ceb 100644
--- a/include/model/statedata.h
+++ b/include/model/statedata.h
@@ -30,7 +30,7 @@ extern const word_t ksDomScheduleLength;
 extern word_t ksDomScheduleIdx;
 extern dom_t ksCurDomain;
 extern word_t ksDomainTime;
-extern word_t tlbLockCount;
+extern word_t tlbLockCount VISIBLE;
 
 #define SchedulerAction_ResumeCurrentThread ((tcb_t*)0)
 #define SchedulerAction_ChooseNewThread ((tcb_t*)~0)