1 files changed, 0 insertions, 16 deletions
diff --git a/ctrl/sysrepo-plugins/hicn-plugin/plugin/model/tlock.c b/ctrl/sysrepo-plugins/hicn-plugin/plugin/model/tlock.c
deleted file mode 100644
index c3c225ef7..000000000
--- a/ctrl/sysrepo-plugins/hicn-plugin/plugin/model/tlock.c
+++ /dev/null
@@ -1,16 +0,0 @@
-#include "tlock.h"
-
-void ticket_init(int Lock_Number, long int init) {
-  //__atomic_store( &En[Lock_Number] , &init , __ATOMIC_SEQ_CST );
-  //__atomic_store( &De[Lock_Number] , &init , __ATOMIC_SEQ_CST );
-  En[Lock_Number] = init;
-  De[Lock_Number] = init;
-}
-
-void tlock(int Lock_Number) {
-  int my_ticket = __sync_fetch_and_add(&En[Lock_Number], 1);
-  while (my_ticket != De[Lock_Number]) {
-  };
-}
-
-void tunlock(int Lock_Number) { De[Lock_Number]++; }