2 files changed, 4 insertions, 0 deletions

diff --git a/include/internal.h b/include/internal.h
index f30ce61..747f095 100644
--- a/include/internal.h
+++ b/include/internal.h
@@ -26,5 +26,8 @@ int __launch_rt_task(rt_fn_t rt_prog, void *rt_arg,
 #define BUILD_BUG_ON_ZERO(e) (sizeof(struct { int:-!!(e); }))
 #define BUILD_BUG_ON(condition) ((void)BUILD_BUG_ON_ZERO(condition))
 
+/* I/O convenience function */
+ssize_t read_file(const char* fname, void* buf, size_t maxlen);
+
 #endif
 
diff --git a/include/litmus.h b/include/litmus.h
index 82e4bd1..e4b619e 100644
--- a/include/litmus.h
+++ b/include/litmus.h
@@ -120,6 +120,7 @@ int  requested_to_preempt(void);
 /* task system support */
 int wait_for_ts_release(void);
 int release_ts(lt_t *delay);
+int get_nr_ts_release_waiters(void);
 
 #define __NS_PER_MS 1000000