1 files changed, 0 insertions, 16 deletions
diff --git a/ctrl/sysrepo-plugins/hicn-light/plugin/model/tlock.c b/ctrl/sysrepo-plugins/hicn-light/plugin/model/tlock.c
deleted file mode 100644
index ba788d3a0..000000000
--- a/ctrl/sysrepo-plugins/hicn-light/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 Ticket_Lock(int Lock_Number) {
-  int my_ticket = __sync_fetch_and_add(&En[Lock_Number], 1);
-  while (my_ticket != De[Lock_Number]) {
-  };
-}
-
-void Ticket_Unlock(int Lock_Number) { De[Lock_Number]++; }