1 files changed, 0 insertions, 9 deletions
diff --git a/src/util.h b/src/util.h
deleted file mode 100755
index 7b543aa..0000000
--- a/src/util.h
+++ /dev/null
@@ -1,9 +0,0 @@
-#pragma once 
-
-#include <linux/kernel.h>
-
-void gen_rand_bytes(unsigned char *arr, uint32_t arr_len);
-void random_perm(uint32_t *arr, uint32_t arr_len);
-void gen_random_indices(uint32_t *arr, uint32_t arr_len);
-
-bool is_in_arr(uint32_t elem, uint32_t *arr, uint32_t arr_len);