Add syscall get_current_budget()

1 files changed, 7 insertions, 0 deletions

diff --git a/src/syscalls.c b/src/syscalls.c
index c68f15b..0ee1a80 100644
--- a/src/syscalls.c
+++ b/src/syscalls.c
@@ -86,3 +86,10 @@ int null_call(cycles_t *timestamp)
 {
         return syscall(__NR_null_call, timestamp);
 }
+
+int get_current_budget(
+        lt_t *expended,
+        lt_t *remaining)
+{
+        return syscall(__NR_get_current_budget, expended, remaining);
+}