1 files changed, 6 insertions, 0 deletions

diff --git a/include/litmus/servers.h b/include/litmus/servers.h
index 106f5ece53a8..3de9df6e804a 100644
--- a/include/litmus/servers.h
+++ b/include/litmus/servers.h
@@ -10,6 +10,9 @@ struct server_release_heap;
 
 #define SERVER_RELEASE_QUEUE_SLOTS 127
 
+#define SERVER_FMT "{server/%d:%d}"
+#define SERVER_ARGS(s) (s)->id, (s)->job_no
+
 /*
  * Called when a server is released.
  */
@@ -61,6 +64,8 @@ typedef struct server {
         struct bheap_node  *hn;
         struct list_head   list;
 
+        void* data;
+
         struct task_struct*     scheduled;
 } server_t;
 
@@ -113,6 +118,7 @@ typedef struct server_release_heap {
 
 void server_init(server_t *server, int id,
                  lt_t wcet, lt_t period, int grouped);
+void server_destroy(server_t *server);
 
 void server_domain_init(server_domain_t *domain,
                         servers_released_t servers_released,