resource_id is unsigned int

[frescor/frsh-include.git] / frsh_opaque_types.h

diff --git a/frsh_opaque_types.h b/frsh_opaque_types.h
index e6978859f242e6931088e38e462552cccac1b3c1..6fab50dfecc0ceb44dd448db31f2371542f31691 100644 (file)
--- a/frsh_opaque_types.h
+++ b/frsh_opaque_types.h
@@ -199,9 +199,9 @@ size_t                  maximum_memory; \
 }
 
 
-#define FRSH_SYNCHOBJ_HANDLE_T_OPAQUE int
+typedef int FRSH_SYNCHOBJ_HANDLE_T_OPAQUE;
 
-#define FRSH_SHAREDOBJ_HANDLE_T_OPAQUE int
+typedef int FRSH_SHAREDOBJ_HANDLE_T_OPAQUE;
 
 /**
  * Critical section data
@@ -209,6 +209,7 @@ size_t                  maximum_memory; \
  *     op_kind;     // kind of operation (READ or WRITE)
  *     obj_handle;  // handle to shared object
  *     wcet;        // Execution time
+ *     blocking;    // Blocking time (execution time + protection overheads)
  * - attributes used only for protected shared objects
  *     op;          // pointer to the operation
  * - attributes used only for protected write operations
@@ -219,15 +220,16 @@ size_t                  maximum_memory; \
   frsh_csect_op_kind_t op_kind;                 \
   frsh_sharedobj_handle_t obj_handle;               \
   struct timespec wcet;                              \
+  struct timespec blocking;                              \
   frsh_csect_op_t op;                           \
   frsh_memory_areas_t areas;                         \
 }
 
 
 //opaque types for frsh endpoints
-#define FRSH_SEND_ENDPOINT_T_OPAQUE int
+typedef int FRSH_SEND_ENDPOINT_T_OPAQUE;
 
-#define FRSH_RECEIVE_ENDPOINT_T_OPAQUE int
+typedef int FRSH_RECEIVE_ENDPOINT_T_OPAQUE;
 
 /*@}*/