C++: move shared RW locking defs into own file

Part of refactoring sharedres.cpp.

1 files changed, 0 insertions, 31 deletions

diff --git a/native/include/blocking.h b/native/include/blocking.h
index 0734d9d..b70f1a6 100644
--- a/native/include/blocking.h
+++ b/native/include/blocking.h
@@ -82,37 +82,6 @@ Interference bound_blocking_all_clusters(
         unsigned long interval,
         const TaskInfo* exclude_tsk);
 
-void split_by_type(const ContentionSet& requests,
-                   ContentionSet& reads,
-                   ContentionSet& writes);
-void split_by_type(const Resources& resources,
-                   Resources &reads,
-                   Resources &writes);
-void split_by_type(const ClusterResources& per_cluster,
-                   ClusterResources &reads);
-void split_by_type(const ClusterResources& per_cluster,
-                   ClusterResources &reads,
-                   ClusterResources &writes);
-
-struct RWCount {
-        unsigned int res_id;
-        unsigned int num_reads;
-        unsigned int num_writes;
-        unsigned int rlength;
-        unsigned int wlength;
-
-        RWCount(unsigned int id) : res_id(id),
-                                   num_reads(0),
-                                   num_writes(0),
-                                   rlength(0),
-                                   wlength(0)
-        {}
-};
-
-typedef std::vector<RWCount> RWCounts;
-
-void merge_rw_requests(const TaskInfo &tsk, RWCounts &counts);
-
 extern const unsigned int UNLIMITED;
 
 #endif