RTS: make g_cycle_count public

This allows debug messages to include the current cycle count
which can be useful for debugging.

1 files changed, 1 insertions, 1 deletions

diff --git a/lib/rts.c b/lib/rts.c
index 97aad8a4..729e2a8b 100644
--- a/lib/rts.c
+++ b/lib/rts.c
@@ -7,7 +7,7 @@
 #include"elf.h"
 
 static uint64_t g_elf_entry;
-static uint64_t g_cycle_count = 0;
+uint64_t g_cycle_count = 0;
 static uint64_t g_cycle_limit;
 
 void sail_match_failure(sail_string msg)