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)